{"entities":{"Q2824414":{"pageid":2835152,"ns":120,"title":"Item:Q2824414","lastrevid":83633384,"modified":"2026-05-07T09:23:38Z","type":"item","id":"Q2824414","labels":{"en":{"language":"en","value":"Refinement checking based on simulation relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635010"}},"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":"Q2824414$55735860-72C7-4321-B045-803456A25F0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04632e7cbc1eeb3488f26126e9926d2a96a88ce6","datavalue":{"value":"1363.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824414$741E827E-2CDB-4F34-A52A-55EF3C3A1AFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed687a75b4f7f145c066708e7260e9687480736","datavalue":{"value":{"entity-type":"item","numeric-id":2824413,"id":"Q2824413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824414$345B2DBE-6CB2-4014-A735-C874B444FAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824414$E92A8B28-44EA-488C-80FA-9093B874F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efef45558b1958bb5063d8f0878384ca6a16bbec","datavalue":{"value":{"entity-type":"item","numeric-id":6071204,"id":"Q6071204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824414$A714219A-1C53-4A6B-818E-385E18AF7B01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2824414$5117C8C9-7C71-4F70-BDAE-688677708248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824414$6E0E2522-C5A1-426C-9F8D-D3F9F5CD7C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824414$DDF5CEFF-36D4-450F-AB14-2C0E0172872A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff48b0c281ac58127ed7372082c048c39d7ff590","datavalue":{"value":"6635010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824414$023575CD-84A7-44AF-8FFF-638EC12A17CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd76390aacc01c913d1d11af7cf88f55a3f7dbe","datavalue":{"value":"refinement checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824414$5247A85D-01E4-4FC3-BA13-B7D699881F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824414$B5EB35CF-3F31-4C43-A6D9-D6137797ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824414$3D698484-F885-4042-A82D-26C63182ED01","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":"Q2824414$F1B8AD41-91E5-4A6A-B8A8-F13B5533478F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977e8f515670b28c591e4902aeefbb673af326be","datavalue":{"value":"10.13328/J.CNKI.JOS.004982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824414$5E663527-4292-42E4-9954-4386BD20591D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381aa1fb3c5f88fd4cb57be3bc2ea96728c22143","datavalue":{"value":{"entity-type":"item","numeric-id":6113980,"id":"Q6113980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af03c257cfdbb6e91404603ffee54ba43d99890","datavalue":{"value":{"amount":"+0.85348666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$E5600639-B58A-4041-A01A-484AFD16AB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b2bc9a6cc39ebe7247facdaa741662c7cb1c75","datavalue":{"value":{"entity-type":"item","numeric-id":541209,"id":"Q541209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f77834c0c69b189a42ac3eef94d21d76f2f42b3","datavalue":{"value":{"amount":"+0.8512934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$45EB36DE-E7A1-43C7-B498-A8704B7EC07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245728ea1091b8b8a2c7dfe7ed8eb6ec3d7996aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403461,"id":"Q5403461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f77834c0c69b189a42ac3eef94d21d76f2f42b3","datavalue":{"value":{"amount":"+0.8512934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$7B87733C-A70D-46C7-8E22-6FF644CAB4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b2d35a9295d82e540406e0b6df40b0b0eb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27c8ffe827584af0a7daa262f11ad12482ad4e0","datavalue":{"value":{"amount":"+0.8483971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$D884A3AD-BB3B-498F-8791-ED622FB4CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19801ad8f3e344e4474cfb8c346fa2bd42007f20","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca998d72659901d67175a3308b52108e9a88eb0","datavalue":{"value":{"amount":"+0.84738135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$5E17DF2D-CF72-4491-B31C-54B3B0AD6AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8675dcdfc820a38f5d7fa0db547b7f8ef494869","datavalue":{"value":{"entity-type":"item","numeric-id":2035653,"id":"Q2035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0eb1a6b883538f5f62498bd778155f7d080347b","datavalue":{"value":{"amount":"+0.846857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$A7C8EBE7-98F3-484A-91B2-036DDC71E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb98125f569010997bfd052714e8d698ce790a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1388880,"id":"Q1388880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b864566b5eec62a9b5d6e975bff883dd349eea7","datavalue":{"value":{"amount":"+0.8436054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$D16675A0-02D3-405B-A98C-BC43FF966258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdf19e6cc13cf276624e678b367c17746e87f6","datavalue":{"value":{"entity-type":"item","numeric-id":4571132,"id":"Q4571132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b12350c134a7748b9ef9b75ac47f91b07efb3a7","datavalue":{"value":{"amount":"+0.8390778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2824414$4B6F7713-9604-43B4-A189-93D3F4DD611D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3ca52948f5f1e19b648640dd6768fe1c2a05532","datavalue":{"value":{"text":"Refinement checking based on simulation relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2824414$7C728FC2-C71B-4B12-BA7D-8AA53A3E1B0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824414$79180A08-1F61-4E6B-87EF-B74460568048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement checking based on simulation relations","badges":[]}}}}}