{"entities":{"Q4375775":{"pageid":6405374,"ns":120,"title":"Item:Q4375775","lastrevid":59574639,"modified":"2026-04-10T13:10:56Z","type":"item","id":"Q4375775","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114007"}},"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":"Q4375775$75632D56-C9BB-4685-A8C4-8AE437A8CBFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5b424e0999d86cd439affcedbd341b2214ab91","datavalue":{"value":"0891.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375775$7846BE4A-7AD5-4FC8-BF85-AC0D8FA22BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55969d1c1711426473ebd199c3c528d38c8d87d0","datavalue":{"value":{"entity-type":"item","numeric-id":2506260,"id":"Q2506260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375775$46E2B862-E3E1-4899-B2BF-CAC02591DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be9d88fe31fe563941d66fc004f03675e20a1e9","datavalue":{"value":{"entity-type":"item","numeric-id":549708,"id":"Q549708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375775$2AAEACBA-306D-49CF-8356-9814663ABE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c132f21e8ff85d87643618fdfbf26f24121a6ba9","datavalue":{"value":{"entity-type":"item","numeric-id":549707,"id":"Q549707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375775$E9A9F0EB-56CF-4796-8D49-57D188EC5979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5488902e73ee01b0a591b24e9f1dea0f7a9b6126","datavalue":{"value":{"entity-type":"item","numeric-id":549706,"id":"Q549706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375775$335F8AED-2DF2-4DA3-8645-C88BF1911EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abaf01d431243fb03e12c2c18b9d3362e56420e2","datavalue":{"value":{"time":"+1998-07-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":"Q4375775$C347988F-7237-4E1F-91BD-A011E43A0B72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375775$91F680D3-E751-4A9D-AD1E-9A25A2EB71FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375775$CED7E82A-7EB4-40E1-B84E-C99087D11DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375775$C1B32E37-7344-4BFF-8A0B-3692BDBFC868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3d067249051a92d8aefe7901aa7dd5f6b2f4adf","datavalue":{"value":"1114007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375775$342536A7-1976-454A-B4CC-B6A7BC155670","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b62791329316a6c3d8b5049680f4875cfc58f7","datavalue":{"value":"polynomial time decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375775$D6F32695-FBE4-46EB-AADE-53AEF9584A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357af8e828660dd11199787bd4ac4c9a60b91509","datavalue":{"value":"bottom-up algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375775$9D2488F5-73B4-40B7-8D2B-3EEDF53ADB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375775$81E35B5C-8830-4F79-A01A-EF95D2BFDE1E","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":"Q4375775$A2A7DA95-2760-431E-A0E7-BC3881D7B6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d33b23c1912786bb614aed605243d714c932eec","datavalue":{"value":{"entity-type":"item","numeric-id":4484513,"id":"Q4484513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5393f9e77c8eb0e23685c3935cc1d936366b8497","datavalue":{"value":{"amount":"+0.7698167562484741","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":"Q4375775$B627686C-20C5-444B-BB46-E841F940388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c324753cd6f7fa675eae4f95207dd45d9b2748","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b246e6ebf6eb89d7af720fa874c4879d0d5e19","datavalue":{"value":{"amount":"+0.7578006982803345","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":"Q4375775$557C3103-82FD-49E3-88E5-A9E80D7C16DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03ec67257da032cb389f6b1c1f008c32260fb7a","datavalue":{"value":{"entity-type":"item","numeric-id":2851063,"id":"Q2851063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d98bb746451bc539e7b3d0ece74c6bbe7a2aaf","datavalue":{"value":{"amount":"+0.7515230178833008","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":"Q4375775$313D97A6-73E0-4839-A14F-AAA8E8BC01D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892394453526a814225f5640ee704f116822b08b","datavalue":{"value":{"entity-type":"item","numeric-id":1049401,"id":"Q1049401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fd126c5fa75217c79fb9560a24cfe7d4937531","datavalue":{"value":{"amount":"+0.7508381009101868","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":"Q4375775$D6C168BA-9D2A-40BB-9CDC-EB2B3D4442E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375775"}}}}}