{"entities":{"Q3316563":{"pageid":3327271,"ns":120,"title":"Item:Q3316563","lastrevid":48683005,"modified":"2026-01-05T14:42:26Z","type":"item","id":"Q3316563","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3846844"}},"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":"Q3316563$3BCA2DD8-1100-4FCC-BB1C-A05EBFDB882D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73af1498148947d77faefe1aa5cbb1605640e7d4","datavalue":{"value":"0533.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316563$44DCAD85-D53C-4B41-B228-4EB16DA453F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3316563$55F9F628-85F1-47E6-A235-966E32B0A8B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316563$1AE5FFC8-A6BB-40A4-A0DA-B8F6DFFD8F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316563$E4954C34-2C9A-4C23-B95F-9DBCD18478A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316563$59F85B65-4DA8-4289-8B56-66A7585A8DF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"702c289a152aba1ed62b3fe7494c9335f59fe382","datavalue":{"value":"3846844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3316563$0A6B5FF2-C6E3-4941-AC83-4ED8F2AA1A8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda8d39cc457fe36ff9c8efea2b255c9f3c51a86","datavalue":{"value":"topological concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$7A8C9369-8C8A-40CD-8F0D-53CBA6258142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$BE7ADF3F-2628-441D-AEDC-B0EE78EBAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$0C86930B-A373-4D37-B919-D44493A70290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$05D9161F-1721-407F-ADDB-C681C807AD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"502c88d6b79644f209021d604e52088d64eeb5ec","datavalue":{"value":"power-domain constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$784D00E0-6C4F-4E1A-B001-0ECD764DA248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$43BCE2A5-C989-4B93-B6D2-9B7E66AED2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a3ea24e8b61c1eb80de4a5f78ab8e69d427c90","datavalue":{"value":"Smyth powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$9F8856BC-5FD0-425A-A617-5A0F101E909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c9ab6c14ee8dea5272672117c363487308309b","datavalue":{"value":"flat domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3316563$453C577B-5EB8-44A4-8834-91CE4F680F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0edf098464820c73fe973287e8e70625fcc2a","datavalue":{"value":{"entity-type":"item","numeric-id":761040,"id":"Q761040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3316563$8CAD28B2-B902-4F4F-944F-587CB2308B7E","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":"Q3316563$A303BC8A-0B3B-4F6C-AE07-B0C88F4D646E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1b4ff942d49c1eba1d3ddacc48ccbfedbb12c8","datavalue":{"value":{"amount":"+0.7826703190803528","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":"Q3316563$E1234AE2-2DA8-44EE-842C-E97A38CBAA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35582380f1cd2abc947e85fe4eb9cb72b9353816","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a044aad3df8b556411baf4296d096245a49498b4","datavalue":{"value":{"amount":"+0.7822131514549255","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":"Q3316563$A8FD86FD-DF64-4C8E-85E8-6122253F7983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efdf3a21ea57529d4367f0e65385bc92e048c24","datavalue":{"value":{"entity-type":"item","numeric-id":2707309,"id":"Q2707309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467791261b18ced212667f538a4e7f8b88afde42","datavalue":{"value":{"amount":"+0.7808128595352173","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":"Q3316563$B93203D0-068F-407A-B693-B1EAC5AFDE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2183fcae3d288a21639ec603e3b42fda0bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3691052,"id":"Q3691052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467791261b18ced212667f538a4e7f8b88afde42","datavalue":{"value":{"amount":"+0.7808128595352173","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":"Q3316563$3E7B2C61-8E81-4B64-BDDF-2C62939F6A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf7dd79df4e02ce91f4b662bde3132e6be69901","datavalue":{"value":{"entity-type":"item","numeric-id":3313252,"id":"Q3313252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f29019022b63168818f99a8eb4d692fdc25a82","datavalue":{"value":{"amount":"+0.775749683380127","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":"Q3316563$E2B84EDD-2C39-4EB4-A3C6-140CB43F0F3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3316563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3316563"}}}}}