{"entities":{"Q2852018":{"pageid":2862738,"ns":120,"title":"Item:Q2852018","lastrevid":42271030,"modified":"2025-06-04T00:40:18Z","type":"item","id":"Q2852018","labels":{"en":{"language":"en","value":"Liveness checking as safety checking for infinite state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213637"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852018$64A46AC7-B4B3-4ADE-AEB0-358CE036031B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9583363a52a036f0c03b9b94c8071003b0f9c8ab","datavalue":{"value":"1273.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852018$06833DFB-FD44-4B5D-898D-B4F57B52F40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48be433893868e131def341ae13b90f7ce04db3","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852018$D3A5D5D6-5D1F-43C7-AB8E-DB90C4D1C601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852018$212597FA-B5C8-48D0-B008-D46C6F7F4877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852018$7D93443C-DC25-4ADF-8D36-D1C6A5AFB642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd3cfc5b7db3492a3acdd92840b004a909b9e96","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000557","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852018$D84215FA-0637-42A6-9011-B41B227277D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852018$C13D41DB-9F8D-47AC-B713-6A17728FF9F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108a1d2df5b364d36cf623b93305ef756c6fb867","datavalue":{"value":"6213637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852018$6084E25F-DF5D-4A65-9DB1-AD4EFC818515","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852018$2BAAC220-F40F-4740-97C3-F85534401793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba3ef8260566fad0c46c3ebe749b856aad878d9","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62202f13973a62ddf64ee1c99fe14657b37e89f1","datavalue":{"value":{"amount":"+0.914313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$326CAF68-5870-41F3-B936-6C2ED5518AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1c61af9993ce0fa34b3b597d471957a81e55f6","datavalue":{"value":{"amount":"+0.87922525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$9659797F-C294-4806-8E9C-4B169C8D7CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653e8561ca6907ab428e29948f5455dab9bc61cd","datavalue":{"value":{"amount":"+0.86490583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$F848DE94-BD9A-4464-9FB3-D19A4B05D9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50079c0713b204935f66ea343dfe71d360a08b53","datavalue":{"value":{"amount":"+0.8624264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$BC829174-6F20-40EF-AD81-744974A2B943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2191d31395f00ae5d5cdda81afdc4110df1d7c09","datavalue":{"value":{"entity-type":"item","numeric-id":5249293,"id":"Q5249293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4766ee8948aea9cd6c7cf7f26957f2c9f1709fb","datavalue":{"value":{"amount":"+0.8580975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$B3D5E5B9-0923-44C3-8BAA-E47119310137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04513c0bdccc1d14a9c0a4e20e6bf9eab9493b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7202cd5ebba2d7c3e70f1162743dcc4efe4d5073","datavalue":{"value":{"amount":"+0.8574081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$0D482734-4532-4AC9-BF21-EBFA8F015A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935a0c321885c08cc0d6f06a42b54e79a12a3512","datavalue":{"value":{"entity-type":"item","numeric-id":4532082,"id":"Q4532082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36367c7c6c8e02c43776baabab3ee3f98f3839b1","datavalue":{"value":{"amount":"+0.85643554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$86DFD71D-223E-4F60-99A4-1E0C2EA37A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebf1b1951b2b8a050c0b69da28e4e767371c693","datavalue":{"value":{"amount":"+0.8528328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$493169E1-3022-47EA-BDF6-C27E63526EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ff51db9d07005e79c60f3e153e93152be810f7","datavalue":{"value":{"amount":"+0.85274416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852018$2A4041AF-A4AD-4B16-98B4-692373FFF421","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f399a7c778ba7324753eaf161f61613b2b368c29","datavalue":{"value":{"text":"Liveness checking as safety checking for infinite state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852018$0C162BC8-0140-4B74-8611-1BF9DC693503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852018"}}}}}