{"entities":{"Q4422067":{"pageid":6451666,"ns":120,"title":"Item:Q4422067","lastrevid":48165949,"modified":"2026-01-03T20:26:04Z","type":"item","id":"Q4422067","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973976"}},"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":"Q4422067$AEA92A64-31B3-4946-9A42-DA284F1DEC36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35ff600f4aa5cb04d7f318f5439540ece50241a0","datavalue":{"value":"1037.68550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$337DCAB5-42CE-4DD3-A96E-53A43BB75F9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d0fce2bb769feecf11392b4edecd1923f8fa1c","datavalue":{"value":{"entity-type":"item","numeric-id":518408,"id":"Q518408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422067$7955076A-D8C6-4177-BEEE-499DA0E0234F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e863ff2f022b2d4779275312d03e0f0794a537b","datavalue":{"value":{"time":"+2003-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4422067$AE7CFDBD-B4DB-4ED7-8648-7E513DA55509","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5422d68ccd072106f2272e293507affa42ee31f2","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2529/25290065.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4422067$B08A1EED-D5B6-4205-99DE-C6F40017EDA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$28870E42-C328-417A-A66B-A2F472B7E62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$564C235D-CD22-4AE5-9166-771D4D86F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$293AE98B-71D5-4CA7-80F6-C14BC66D4F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$C0A64518-1E59-4618-BA12-6799571DD74C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a5048f4806ad564159a4c250da1aa2ed5d888af","datavalue":{"value":"1973976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422067$78305189-2B91-4182-B6B9-5A7E2696E752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422067$A803EBCE-D99E-4955-B87D-8861496825DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80d0d722724c8924f9a3f8f3cde08b68e784a00","datavalue":{"value":"state space reduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422067$EC5F1CD0-41B6-45E2-BC6D-C55A0048C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422067$F18CFF55-732A-4B7C-B3AA-6918018D141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a089fb41e0df4041c198f4b78341381d006471","datavalue":{"value":"nested depth first search algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422067$0DE17928-0301-4288-B6C7-C860C4285AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a128547185da65d54cd668d1ecc62db789aa3117","datavalue":{"value":"multiple representatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422067$98B51642-EAB1-42E0-8265-04FC6A4FB51F","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":"Q4422067$2DC742C5-93FF-477F-ABE4-FB11DF34B551","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebbcf99775da63cbaf872639adcbdb7d26565cd","datavalue":{"value":{"entity-type":"item","numeric-id":4426374,"id":"Q4426374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b819ca8bc8a126e22b740ed564339a49ca2cf1","datavalue":{"value":{"amount":"+0.8478455543518066","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":"Q4422067$02581C20-E45D-4644-96BB-FAC5BC34168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56f8703a2e45856016943622c097dcf362c902f","datavalue":{"value":{"amount":"+0.800240159034729","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":"Q4422067$1F7A8525-84D2-4A0D-A6AA-129A1775CD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5538556a68979d3570821fe28d33209333601338","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d0f6979a3a4eb902328bb760d395822d7b2fd1","datavalue":{"value":{"amount":"+0.7913506627082825","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":"Q4422067$544EAE0C-A93F-4633-B988-6C991269B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60100f1a3fb27d799df07f736797f7c70bc32adc","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c8fac991e97eb89930b748696d85685cfc6436","datavalue":{"value":{"amount":"+0.7850399017333984","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":"Q4422067$69A05B86-3B0E-49AD-AFA5-AA0D654CA618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b641ab3f5b8b5471d23024a3b5912e624f4d8726","datavalue":{"value":{"amount":"+0.7850396037101746","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":"Q4422067$A4459DF7-1109-42EF-90AC-0C3560C85186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4422067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4422067"}}}}}