{"entities":{"Q4325781":{"pageid":6355382,"ns":120,"title":"Item:Q4325781","lastrevid":47309764,"modified":"2026-01-01T07:45:00Z","type":"item","id":"Q4325781","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733393"}},"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":"Q4325781$BBB1CDF5-6F24-4788-9904-3A77952050E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8957fa24c92a770e7b022d06a88d359473d8e061","datavalue":{"value":"0854.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$33C65C01-CBD0-406B-808F-8E2B6F0E10CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4325781$8DBF8B53-2522-4694-A49C-187170447DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$BB339B1A-FA56-4F80-A8D0-A317074D71BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$37609EE4-1C87-4B47-81F1-5F16E8754989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$F7D0B14E-16A5-4C72-A41A-6A6FBE40ECC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$3CCB510D-98A7-4807-BA00-6A8C8F226075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$EB2E86C1-E1A6-4139-935F-479357FFC903","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f196fc10fdd776f93330f5233b2bd24bb5ddf11","datavalue":{"value":"733393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325781$4E4E0D36-07FB-4CC8-ADE0-0DDCEA69B2CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e23122a035acec79abb4f654028cc359da97af","datavalue":{"value":"spectrum problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$D00B30D4-B3FC-4D52-BA6D-C7D370B70BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0172aeeb596f43bf9733c8330242d392f88c5","datavalue":{"value":"implicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$C5671121-B9E1-46F5-AFB0-7D06BCDA6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61ae933ec27f1466f7c7fbee93644abaeec54e","datavalue":{"value":"preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$E75D689B-5306-4686-8077-941C34DE8FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$992235AA-C085-43B6-83FF-A258A753B19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$9ED1C4AF-B3EC-43A0-AA55-68DC888CDCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$90BA5000-032B-4AAE-B482-3F990DCD6ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecab758ed6bb49fc26e38bc9ab073a059510a9f","datavalue":{"value":"input/output behaviour of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$5929760A-8C91-41DD-9B36-86D24AA8FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$6B43F1A0-0F18-44F2-875A-3D06EFA544A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ccab2781f1217c01c82394e0c083cfa9bb6031","datavalue":{"value":"0--1 laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325781$D43DBF15-AF50-4851-A110-1612C3BA6232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325781$1BE8C45F-DB02-485B-A591-CA160F83D21D","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":"Q4325781$907D48C7-BE50-4B96-B3C5-D4A020DCBCB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aca17153662a14714669a6b23d60ccf4b4df5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4897208,"id":"Q4897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7820fc3c352ca98d29a9df56d24f5301929899","datavalue":{"value":{"amount":"+0.788314938545227","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":"Q4325781$974A1DD4-A7E1-475F-9E36-1FD39AC02869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76070a8093f9d25482e82f14d5133bd448208b11","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf7758393849481c845500333d4c9a862ddd3c9","datavalue":{"value":{"amount":"+0.7848029136657715","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":"Q4325781$6F61C6E8-68BD-4F40-A42E-BFD800661F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbdf0c658476c03bb87908b9ea4f26aaa2e37c8","datavalue":{"value":{"entity-type":"item","numeric-id":4694685,"id":"Q4694685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434002d5bf7b0cc4773ce4d5a2e3ce6b926539d1","datavalue":{"value":{"amount":"+0.7845662236213684","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":"Q4325781$18A5BD44-1128-4B99-A73A-1E11CA1F518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b24be8072cbc674fdec33b94ea8c715af711a87","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b096634cc2966cf3c6f9ac1bca3b392ea015872","datavalue":{"value":{"amount":"+0.7795625925064087","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":"Q4325781$8992D19E-C173-4C2C-9AED-BEB427830791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea8520bb657f4377aa4b321d6b9d6ec37846b9","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8258bb987e90b80cd5cca142c64872e40b8d7dc4","datavalue":{"value":{"amount":"+0.777845561504364","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":"Q4325781$92DB8521-2FB1-411D-B2DC-26A0B5AC5643","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325781","badges":[]}}}}}