{"entities":{"Q4635903":{"pageid":6665484,"ns":120,"title":"Item:Q4635903","lastrevid":53070926,"modified":"2026-01-24T04:11:14Z","type":"item","id":"Q4635903","labels":{"en":{"language":"en","value":"First-order logic with reachability for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863515"}},"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":"Q4635903$DDD0E67A-EB21-489C-837C-1F42BACACE2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88a7246dcbbbf4c304344467a3998f20f8232e65","datavalue":{"value":{"text":"First-order logic with reachability for infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635903$033DA931-E7C0-418B-B8F2-D4CC87C1D0CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"151be07dc24ad11e51b331942a42f2275b7f5cec","datavalue":{"value":"1394.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$D52E1F3B-9B37-4AA9-A6C8-9D96FAE5878D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa136d20b12cadc0d2b4d9695c0d31b19a28a803","datavalue":{"value":"10.1145/2933575.2934552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$F69BCD05-C168-41DA-911B-7BB8681A45D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cceb9774079218843457239fea528ff46a7ae3","datavalue":{"value":{"entity-type":"item","numeric-id":2802474,"id":"Q2802474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635903$0A6478AE-09D5-48E7-BEF6-04D08A00FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635903$EC99793A-3DA5-4F18-A3CF-60EC32024754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635903$14AF414D-0F8C-447A-92CA-37762E392925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635903$4241C201-1586-41A5-B258-41376F180F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635903$88C136A8-0417-491E-9689-DF74FFB4CCC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$374F8490-3D27-4A7B-A82A-E8F7C28ABFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$E182F542-3DB5-4DD1-A86E-3DB2846ADAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$5EAF2D32-7830-4BFB-8E04-8BDE25D14B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$17B7D426-98E2-4282-91FF-4789244F1F75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2341466f5951bafb2c50f8733f60c4ebfe300303","datavalue":{"value":"6863515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$A7B7C6C4-2AFA-4FE4-A04E-BFD06F4D212C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$EDEDB40A-5A6E-49BF-BCB9-D71052EFAE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$342E0CBB-DB03-4098-A3A2-1270752AFA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$46C7C358-B994-4C29-A73A-0CAE818B813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722ae5070f9d33f32b515971f02b97c2255c91ad","datavalue":{"value":"graph monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$B643E582-DB43-4D6D-9AF1-6E899C6DA7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$D2FFC612-5B73-491C-B3D4-284728475A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed1252b1621c3c0592f3b4fb1c8de9c4b46cf4b","datavalue":{"value":"valence automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635903$8F5EA37B-3E67-4DA0-9A8F-FBD156D40F34","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":"Q4635903$C0719FA9-5F2E-407B-A88C-8EA74164A85C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fc8d5c5be8fb62b7dc32229dd74c74ad0c0e8bd","datavalue":{"value":"https://doi.org/10.1145/2933575.2934552","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635903$063B8C56-B680-4F9C-B5BF-32044EA25232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d67eec9dcf284e6b4eb9443d9e433ffd56d8064d","datavalue":{"value":"W2530935015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$FC7BE00A-5AA0-43C3-8C2F-73CF15AD1F9C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b576444daa70f78ad3e00c12840e5b3d405ff30","datavalue":{"value":"Q130847070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635903$3A370CE5-8FDC-4ACF-9F4D-ED9637046C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c51a2402722f381b5349eed549e1bdbd09b37f2","datavalue":{"value":{"entity-type":"item","numeric-id":2908880,"id":"Q2908880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39b2b39b2bf227a651d6175e8af20b5cba42884","datavalue":{"value":{"amount":"+0.7950524687767029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635903$0B445BA0-B017-4D4C-B85C-7AF5D054629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaabbf4a49b79818fe24287b422caa4a8cf534c0","datavalue":{"value":{"amount":"+0.7839038372039795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635903$2FB3450D-C3FD-4C9D-8F01-262E1CC79093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bf4d37158eb3abb2df535f027a48df933e29c6","datavalue":{"value":{"entity-type":"item","numeric-id":2911619,"id":"Q2911619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4aa91127465b0a2d0f83c2c2cb419575390fe1","datavalue":{"value":{"amount":"+0.774052083492279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635903$E88446C8-E221-4470-A441-CCFF83BF0CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871a1a3dd4f71546ee0773d79b8a0f363df28a35","datavalue":{"value":{"entity-type":"item","numeric-id":3166230,"id":"Q3166230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632723069e667bdd5164c213815e11282fe52fbc","datavalue":{"value":{"amount":"+0.7694869041442871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635903$B335B31F-80CE-4979-9402-B722C65D14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6bb3a82823eb495dc0510d0afb9f669a041f40","datavalue":{"value":{"entity-type":"item","numeric-id":2695487,"id":"Q2695487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57a6f2e84df6c961ccd4130369f8934dd4f0d23","datavalue":{"value":{"amount":"+0.7506445646286011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635903$80B1F266-9626-4EDE-895A-545BED366A10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635903"}}}}}