{"entities":{"Q3172801":{"pageid":3183511,"ns":120,"title":"Item:Q3172801","lastrevid":45611431,"modified":"2025-12-11T09:06:09Z","type":"item","id":"Q3172801","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954655"}},"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":"Q3172801$9CCA081B-BAF7-4730-AA70-AA60793E788B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a18d787a9041c40203f9ec1c25be34b004b15f","datavalue":{"value":"1255.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$4532EB59-D832-4EA5-B17E-9069C1E80D83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172801$1D658803-FDB2-4662-BB97-B7C952248D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e78d2a013f40dfa89db86b89a7866bf72c13f1d5","datavalue":{"value":{"time":"+2011-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":"Q3172801$B6CEA9D0-9E87-46E0-AFE4-241D1CE26147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$73F9FC71-B326-4333-A75E-F62E747669B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$F4FA9DED-DF8B-4442-A446-CCF2831D3A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$81EECA87-3463-41A4-86E0-DD0253202D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$F5DF09DD-CF2F-4116-8C4D-3846C89CE379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$A325CA70-15D8-4F4E-8E61-7CFB942D0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$37C46544-4C6B-4EB5-AD20-1EF3A4BC60A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfc18bced94820e9c856bbd42ad9f372df338e1a","datavalue":{"value":"5954655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172801$F3ED9C57-EAD8-4A6E-81FE-966F53A720BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"facd4e96f771a0a676a2ce80b3621010ecf93b84","datavalue":{"value":"lock-sensitive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$0B111EE4-81CF-4D5A-BAE0-F2D46622FF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$1A930C3B-5268-4560-A81A-AB89E1E6DA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$AA39B8DB-1FF7-48AB-A786-45B2C88F9C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f07726a5658b736ddf85b62ebabf59ec7c90d36","datavalue":{"value":"dynamic pushdown networks with monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$96938F32-EAA4-49E8-942F-E8243776E9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404ca76d205264e8161604465a14007f6404342c","datavalue":{"value":"acqusition structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$90F53C54-C099-4E4D-8789-83CBD9AF7C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172801$53C3BD55-289B-42AA-824A-3407F2C7FAF1","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":"Q3172801$7E2F004B-ACAB-44B7-918F-C8068BBCE91D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83572cf736abf5f2d6d27711afade9973a0093dc","datavalue":{"value":{"entity-type":"item","numeric-id":6039304,"id":"Q6039304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15bd97490b3de47c7315f0893dde63e9cc17e48","datavalue":{"value":{"amount":"+0.8927425","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":"Q3172801$6F1091C8-2D79-4B85-B977-A7B28C4E6DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b81ca1dd04165a28ea7481dad20ae24571d5e09","datavalue":{"value":{"entity-type":"item","numeric-id":4518888,"id":"Q4518888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeed09c74b1d1fbef0f48628fc620e8ab3825ccc","datavalue":{"value":{"amount":"+0.87952095","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":"Q3172801$FA3B478C-BD53-4897-A453-A36B42CBD92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59949d20acce04d70ae4bab0d345e63e3b75e290","datavalue":{"value":{"entity-type":"item","numeric-id":2712587,"id":"Q2712587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeed09c74b1d1fbef0f48628fc620e8ab3825ccc","datavalue":{"value":{"amount":"+0.87952095","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":"Q3172801$0B6C1A09-3CD7-4F7C-817F-236AADB951C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e069295e9a0efb0bd7ee533a47b8ccab77451d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1884938,"id":"Q1884938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6077f154f21889bae90b804dff07ce58c7c23a1d","datavalue":{"value":{"amount":"+0.87668335","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":"Q3172801$92CE60C1-AED0-4C59-ABB6-C2356E27E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01c59c124f2a266a981c258cc0f9cadda00bf57","datavalue":{"value":{"entity-type":"item","numeric-id":3763577,"id":"Q3763577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9795d8839b47bf0f365d8d93925aea45357190","datavalue":{"value":{"amount":"+0.8711203","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":"Q3172801$4101E5C1-7295-4842-8943-37DA6DEA7442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e1b1df8943db9fd1db86af1027107208d66573","datavalue":{"value":{"entity-type":"item","numeric-id":1693219,"id":"Q1693219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044fbd59b704ca5dc198e76ebb91fbbe75754737","datavalue":{"value":{"amount":"+0.8705644","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":"Q3172801$0C55203A-26BE-4ACF-8680-F709BD91BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0918bf1a5c200c1e9b22f9db01d1d13fce0e65","datavalue":{"value":{"entity-type":"item","numeric-id":4930732,"id":"Q4930732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9c146403f100f1d2ea86f497fba2fec606e8f8","datavalue":{"value":{"amount":"+0.86954474","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":"Q3172801$79F02CA5-37F6-4F6E-8988-B8F7CE6F7C46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172801"}}}}}