{"entities":{"Q799095":{"pageid":800943,"ns":120,"title":"Item:Q799095","lastrevid":64458492,"modified":"2026-04-11T20:00:35Z","type":"item","id":"Q799095","labels":{"en":{"language":"en","value":"An axiomatization of D-scheme strong equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872654"}},"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":"Q799095$0B20D900-0BFC-45B9-85F1-EA486963B49F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c5eb4ba4bcea5de8b2c2c3086480b97201d770","datavalue":{"value":{"text":"An axiomatization of D-scheme strong equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799095$0D9152A7-C661-40FE-BE98-9C9BAB7A616F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db9734b9656b1f0874987d717ed261fecb4269a1","datavalue":{"value":"0547.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799095$CEA01ED2-9D9F-4CD5-A5C6-DD3D5F22971B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ba08d2e9a424966c21681635f057b033c61fb8b","datavalue":{"value":"10.1016/0022-0000(83)90040-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799095$68B8CCF2-A52C-4047-B588-1B30030B4BB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fbf73212684ce7f13d1266fad4cc29a43e4b39","datavalue":{"value":{"entity-type":"item","numeric-id":797987,"id":"Q797987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$60E111D8-047C-4AE5-BD63-287CA27C2D6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$BF0B6C42-B6CF-4308-A77B-BDECD5D6AC0D","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":"Q799095$ACE5D2F0-995A-4575-BEF1-B296DDACFD54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799095$0754A078-1550-4866-88BD-D481DB6CF37B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b470f351bde9883e72c18d822251d05e1ed04602","datavalue":{"value":"3872654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799095$4B897828-379B-41A9-B75C-959A14701B03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d1aaea5ea488de2ab1109edf2e5ecde0f4f16d","datavalue":{"value":"Dijkstra schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q799095$F37BDA61-4389-4494-8A62-1EE29D65667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc32565261754a8591da6ae5ca2ffb892f49bd7e","datavalue":{"value":"sigma-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q799095$22CE68EF-AE24-4B67-A50C-C60A7D32FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f118007fccb4451d2a5537e6b5e54b11ee383885","datavalue":{"value":"monadic flowchart schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q799095$F7C4A041-8A5E-4150-8920-88775D2EA223","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":"Q799095$650D2F63-A2C1-482E-973A-C2641E43297F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abe5d07e9b86783fcc1dc1fe0ee41d094b0bde31","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90040-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q799095$521763BF-1FBF-4DA9-AC05-7C63E3869841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8b4465e1738872e18eb1cabaf3209a79ad44dc","datavalue":{"value":"W2006107362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799095$4E1B8A8D-49FD-4E80-BD25-0BEE0C69E6F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee25fd4c0d928e781613be653b760d202db34dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4134902,"id":"Q4134902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$3EAE2AA4-7692-4F9C-83E7-14D0EC1556A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70348812daafd116bfbb366841c4e79f93b9f60f","datavalue":{"value":{"entity-type":"item","numeric-id":1257333,"id":"Q1257333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$5C533710-B912-4937-B4D8-0349292B9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fde64b48d10651443eaae13be9a8239bb95c303","datavalue":{"value":{"entity-type":"item","numeric-id":4118796,"id":"Q4118796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$D3EAD2D1-327D-4A14-9DA8-F3DDE6E277BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32e158d1032e2aa25c2fd7d823293bed4232fec","datavalue":{"value":{"entity-type":"item","numeric-id":3907519,"id":"Q3907519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799095$10B9F81A-FCE8-4A11-8081-40B4D94A40E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatization of D-scheme strong equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatization_of_D-scheme_strong_equivalence"}}}}}