{"entities":{"Q672866":{"pageid":674715,"ns":120,"title":"Item:Q672866","lastrevid":63422022,"modified":"2026-04-11T12:58:16Z","type":"item","id":"Q672866","labels":{"en":{"language":"en","value":"Proving nonreachability by modulo-invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985234"}},"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":"Q672866$AE71CAFC-0A09-44C6-9C18-4DDD00F5C9EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0651d3a20356dc41291091c9d8ba5f44d7244ffb","datavalue":{"value":{"text":"Proving nonreachability by modulo-invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672866$9AC0F7F0-CED3-4438-98B3-81E7E2B32D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"947dd04a4d44d19f1b8c975fe4686b9ee4224c23","datavalue":{"value":"0872.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672866$CC11A985-439F-4C0F-B6CF-41D82F0F30E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3a4132ee3ddca2128cb7daf770468e49c58003","datavalue":{"value":"10.1016/0304-3975(95)00117-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672866$B2A593CC-2385-4797-AA79-940A91F4499E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b118e1d3cd5efbea6f6ab33e660d831d45ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$5A588919-4DD6-4FAF-A26A-FF54747DE6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dad7c049c12ccfac5597428b12d55efb0da2723e","datavalue":{"value":{"entity-type":"item","numeric-id":672864,"id":"Q672864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$3D40E596-46CB-4CFA-BAF4-E0B40B0C4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0527ee122fbfe8e8e6d4a47d92a9bfe745f6ee62","datavalue":{"value":{"entity-type":"item","numeric-id":672865,"id":"Q672865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$70254A8C-7B68-4634-A047-AA0D6E12C02E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$81A734F1-9F91-4D6E-8854-4F772A86C249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672866$BDF0DF7D-1D2F-4CDD-BFF3-5CCCEFFC4269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672866$371DE6F8-0687-4A77-9230-B3C3F98F3784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d669ccf47cfda7b5d5d615b2027d3818dd3cbd1f","datavalue":{"value":"985234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672866$8154C0A4-82C5-4F2A-A32D-474A7ABE2F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d71d9c336b2e116974d73217d6a9d328b4cce8","datavalue":{"value":"nonreachable marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q672866$62AB6A93-1934-4B83-BC3D-208DBA621FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q672866$8D09DA79-0FDE-4437-A544-008A522AD238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3171672f8633ccc026b19c5aaba493284b0df9","datavalue":{"value":"place-invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q672866$21A259D0-C86D-4085-BCBE-F8F0879691C2","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":"Q672866$6B564750-37B7-4953-A048-C6C225760630","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba69d089c3ba3a51b4e41459ce49b955356862dd","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00117-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q672866$396C6100-4ECD-460D-9D96-D73238A99FA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"601cff5986e1b5e7a8dfea1caae0b3b906663b85","datavalue":{"value":"W2025727968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672866$B52860CB-2F1B-4AC5-8564-4396A9252BF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fea50ce60a7b2fee65d9bf285299f2715282a50","datavalue":{"value":{"entity-type":"item","numeric-id":3967058,"id":"Q3967058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$A068CF60-2C36-4CCC-BBB5-3A961EBE3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$3CEB9ACC-C30E-4B1B-BA0D-0C6C815D9E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4382b85fa2b8c123d089f91438b19b45067405","datavalue":{"value":{"entity-type":"item","numeric-id":3214832,"id":"Q3214832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$478C515E-3B68-49C4-A617-18129D90D32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5525f6e1458f5f3798ee1bd4566396d0a722e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$F5E6917F-A797-427F-BF7D-CD0A387BA125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$76826465-3BD1-4601-B534-53F3D0C8BF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7b8730215460820dfd9615a715995167c5a527","datavalue":{"value":{"entity-type":"item","numeric-id":3766867,"id":"Q3766867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$67452417-AE87-48C4-89BC-7A9003CB5B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a1ba3317663b851a094d1bb8d0f86e766495a3","datavalue":{"value":{"entity-type":"item","numeric-id":4001266,"id":"Q4001266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$BF213125-0DE8-420F-8111-F8B0C1F29440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcafb238e6ba98f691c336bb9a0d0dc6d0f213d","datavalue":{"value":{"entity-type":"item","numeric-id":3891677,"id":"Q3891677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$7AF49E2C-18AF-48A2-8D4A-937F0846078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18860f92a963ea2bf2b987fbcfb4cd59baf2c30b","datavalue":{"value":{"entity-type":"item","numeric-id":3938475,"id":"Q3938475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$A63A8A9A-0DE5-4A8A-9EA6-83BEF312FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$24F180F9-746E-473B-80DF-1327F1385442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$BF5D3B8A-6838-4127-AC76-F7BA7656AE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea3e41705d40ee13a3c7b617dcd941915f3a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3749122,"id":"Q3749122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$BA06F86D-2F2C-40BD-9D23-21B018094C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80b57129b876b1472731b4294473f26029385cd","datavalue":{"value":{"entity-type":"item","numeric-id":4692759,"id":"Q4692759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$61BA3847-CE41-45F6-BB94-BD3F67705D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672866$FEC0279C-C9DB-42E6-A2B0-DD90C8FEDFD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a264943b83e2abda47a71a227b1503f3f8a703cb","datavalue":{"value":{"amount":"+0.769342303276062","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":"Q672866$3AB80744-4C0E-4767-A9A6-E08B21EFD66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8265a21a53e16c25f8845900a25c6eb4d2a0d","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b493f82a18326d6b0fd0fee486ad0ea566b415","datavalue":{"value":{"amount":"+0.7620468139648438","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":"Q672866$457321A0-BB52-4550-B0B8-99827FE5EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c4b3556cb2d9f44feb245eb68d1ab7ad94af3","datavalue":{"value":{"entity-type":"item","numeric-id":4461757,"id":"Q4461757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9ff46427d3f73cdcea29965ebe1ac94c6d39a5","datavalue":{"value":{"amount":"+0.7603491544723511","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":"Q672866$477F83A6-7A6D-4884-90F2-A1E9899F292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c2dca223d4a57cde2dc9b54edca3ef90e5da6e","datavalue":{"value":{"entity-type":"item","numeric-id":3776644,"id":"Q3776644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d385e2f407387feef2465666355ec6eb10b1f7bd","datavalue":{"value":{"amount":"+0.7558802962303162","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":"Q672866$BDEBD46D-A37D-48F4-97B3-BF1EF9AB6A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5592293edcb581c06607f33db0c9c8bd1f677b","datavalue":{"value":{"entity-type":"item","numeric-id":1185651,"id":"Q1185651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b693f132574f0e16321051e04eb114d88e9756","datavalue":{"value":{"amount":"+0.7518611550331116","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":"Q672866$7D781711-7705-44C3-B60E-7D13A1EB7739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving nonreachability by modulo-invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_nonreachability_by_modulo-invariants"}}}}}