{"entities":{"Q4972013":{"pageid":7001592,"ns":120,"title":"Item:Q4972013","lastrevid":53600129,"modified":"2026-01-25T09:49:56Z","type":"item","id":"Q4972013","labels":{"en":{"language":"en","value":"\\(k\\)-inductive invariant checking for graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135232"}},"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":"Q4972013$D56E0C76-5D15-403C-AEBA-EE0C8BB3838C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e76b18a589471546867480faa43ded866b8eb93","datavalue":{"value":{"text":"k-Inductive Invariant Checking for Graph Transformation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972013$9239D227-086A-4E00-A718-7120F9D7BA2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14fd5022f1369e3ce00cb5a3a0648078c5ee7f7d","datavalue":{"value":"1425.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$057DE485-3728-401C-B1E3-8DF53208C718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5754cf0cccda18d17f77dac2c19b4fda37ea8452","datavalue":{"value":"10.1007/978-3-319-61470-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$A88F9585-23E5-45D2-89A3-CCA4BDC2EA97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60930d89b7c292c983c16ff0559302efc6a2406f","datavalue":{"value":{"entity-type":"item","numeric-id":2947221,"id":"Q2947221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972013$0512DDB9-5FC0-47D6-A83B-083AAC225211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972013$2B1B4354-B96C-4B33-8859-FE192D4E8302","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972013$57D44706-9D9B-4C83-AE7D-03E8413CA601","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972013$B64C7253-3561-4812-98FA-11D6C8D02ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$111AAA5D-DDFD-4CE8-B1BA-297A89B0A0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$F379631C-4517-4AC8-AA32-47752CE4FD28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b76fc7ee011aae6e8c7630a13522224856e14fd","datavalue":{"value":"7135232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$D4565DF6-ACB5-4193-9A1A-2155BFCE21E6","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":"Q4972013$6FF3C321-AAD8-48A0-9730-AD18CFECF544","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3280db6aee379eb64983861f641e63eea530954","datavalue":{"value":"https://doi.org/10.1007/978-3-319-61470-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972013$41E450FA-9245-42C6-8453-661213D9A21A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34084cdea6fbfd5f0b4c601e2589d30b485d4070","datavalue":{"value":"W2718727420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972013$96AF2A8B-80BC-488C-BDEE-85B4966E5EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f5518c5e53f8f48a32defda3bae333744e6e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1f4c260246b9cca29bc4f1b2db146d5f2cafec","datavalue":{"value":{"amount":"+0.8742122650146484","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":"Q4972013$4E5AB50A-9C8F-4782-B754-89A5331CAC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9449182d74117495a53a2da74f3c6432c6f8db52","datavalue":{"value":{"amount":"+0.8208286762237549","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":"Q4972013$31A2D2FD-6926-4B70-BE37-0DB557B4D8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e449ebd05204fcfd118e5843b7bc49eac760bec6","datavalue":{"value":{"entity-type":"item","numeric-id":6487310,"id":"Q6487310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974626a720b89303eacecec9e8208817ca12a48a","datavalue":{"value":{"amount":"+0.8043699860572815","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":"Q4972013$FC2194C3-9358-4F24-8B23-CD8C32A2ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e45cdc5a223ff4e6016348e71c19e8c3865b998","datavalue":{"value":{"entity-type":"item","numeric-id":2918989,"id":"Q2918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66de451a93a27a86a5df560bab3a3540b9b3285","datavalue":{"value":{"amount":"+0.7909959554672241","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":"Q4972013$48A90A65-15EE-4487-81A8-65D838CE1FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a73f0fab03475355160b1a33e0685f6c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c274b96fc96c608717a65accd82af7539052a5b7","datavalue":{"value":{"amount":"+0.7625109553337097","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":"Q4972013$8C84D92E-9DC9-41BF-84DD-FC38F23263D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972013"}}}}}