{"entities":{"Q4415251":{"pageid":6444850,"ns":120,"title":"Item:Q4415251","lastrevid":48140122,"modified":"2026-01-03T18:32:53Z","type":"item","id":"Q4415251","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1954380"}},"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":"Q4415251$A6D80057-F2EB-4E4C-ABF2-7A732E10E81C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb35ad022ee818c5477818984f53b6bd15384b0a","datavalue":{"value":"1027.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415251$1E9C8D5E-1AB5-4EB7-A8B2-90B0F9C48C9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415251$FF41D350-E392-4C1A-B55C-11DA66A55BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415251$9370590F-EA42-4531-A147-55848CB47BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fce6970c24c0c55b82513b9985a67a6b65dfce22","datavalue":{"value":{"time":"+2003-07-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":"Q4415251$09660569-9922-4A58-A354-E0828631D358","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eacccdaffe4e5e344258888b939139d50e08b0ae","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2556/25560145.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4415251$F695D5D5-0EF5-404C-A415-737AB48331EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415251$58EEE679-743F-4FCA-AECB-62D5801891E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415251$9C07D9E2-D2DF-4EF8-80B8-3C1EC76BFF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415251$9BD55CDB-2610-44F8-AC29-F95C0BC63296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069bb604aa721b723f3aecdfdba5855a4f1c877b","datavalue":{"value":"1954380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415251$31911559-E930-41D3-95EC-5A54BFB509EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275cf93a1d14f58847123d96e5a4ad4bd91d79a6","datavalue":{"value":"Presburger model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415251$329C4991-B1AB-4C80-856D-DD0FCE9DB7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415251$4911D5AF-2CA5-44BB-AE5A-3E334073848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415251$9FBA0004-1DC8-4894-BD09-479461542AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bffca71a435ced51db72e4cc2c3e4d6cb1b9197","datavalue":{"value":"reachability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415251$245BC062-52F9-41C0-954C-64E794070789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415251$D98D81DA-2EA0-486D-BA80-8B2450509E0F","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":"Q4415251$38ECB254-817E-45A1-915C-AF5BE287554F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6189f88de4a32173f1add599feb32e7058f72aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5308435,"id":"Q5308435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0baebbe4325130213b52923679dbaebb93c9f43a","datavalue":{"value":{"amount":"+0.7652841210365295","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":"Q4415251$CD44A6FD-FFDD-4FF8-AF5D-A45153C434E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f224e002515a58845c482a45324aab1cf91413","datavalue":{"value":{"amount":"+0.7312462329864502","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":"Q4415251$F610DCAD-5FAF-4D8E-A94A-E527312AE2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a722885185d3a1cc5bd7d61e3cffdd9913b5ca","datavalue":{"value":{"entity-type":"item","numeric-id":2848416,"id":"Q2848416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce69322a5d2fc25aae2eec5267a8a918ae1ffb9","datavalue":{"value":{"amount":"+0.731140673160553","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":"Q4415251$70E277E7-14EF-45E4-AB52-814E2E7D9A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bfabe9d315de65e50501024824dd8b3b9cbd62","datavalue":{"value":{"entity-type":"item","numeric-id":5166672,"id":"Q5166672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2add4cd326510039d3217f51bfb4e470436b49a7","datavalue":{"value":{"amount":"+0.7253229022026062","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":"Q4415251$D21FD7C9-A9C0-496A-BE59-46FABE60686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86d7d231ff54ec619f50876b16b8e55872e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":4536629,"id":"Q4536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f60c3199236172f7cff868ee3f30335e5015d98","datavalue":{"value":{"amount":"+0.7193204164505005","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":"Q4415251$8F0080A5-6862-45A6-9658-D81E3A5305BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4415251","badges":[]}}}}}