{"entities":{"Q1183814":{"pageid":1194563,"ns":120,"title":"Item:Q1183814","lastrevid":70211673,"modified":"2026-04-13T13:11:36Z","type":"item","id":"Q1183814","labels":{"en":{"language":"en","value":"Decidability of equivalence in the set of program schema with monotonic and partially commutative operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33762"}},"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":"Q1183814$33FE2C35-728E-4441-9D4D-A250D3E6B319","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e356ecf423eece961eeb3e1cebc906f0b94f995f","datavalue":{"value":{"text":"Decidability of equivalence in the set of program schema with monotonic and partially commutative operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183814$EA4EF71A-CE88-4D2E-94B6-0847C37F8D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0285c4c9182b2bd14c3dbe798d7042d14f5e3af7","datavalue":{"value":"0739.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183814$19FE4BCD-CDAA-400F-9834-BE1889E04EC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95ee446f93eda65728c764c965cda6a22d6dc080","datavalue":{"value":{"entity-type":"item","numeric-id":174222,"id":"Q174222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183814$F040E261-3776-4385-871D-9F46244BDC06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183814$FC5038AC-27C0-4A20-B338-EF87AADBFAD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183814$BF0BF0C1-6290-4D18-BAFE-CCB53ECFB262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183814$AE6D38AC-F373-46FE-912B-5A0F4EF2F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183814$2517B8A0-90D9-475C-92C7-0551CC2141C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8435a86c5d052759824535eb2a9d09f60a733c3","datavalue":{"value":"33762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183814$22DB8D8A-2C3D-4597-B8E8-93CBFEF28718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183814$6BD7E463-EC06-4A1E-B26C-33483B570150","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":"Q1183814$E2C4111E-2F90-4C8A-9045-6A4518980726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c919168938b5fe0011792d06c9e6350bc719f","datavalue":{"value":{"entity-type":"item","numeric-id":1183753,"id":"Q1183753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c687f8748cdf82ee67a8ea1de47e9ede8affea","datavalue":{"value":{"amount":"+0.8785864114761353","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":"Q1183814$4405681F-2EDB-4380-B0C6-0BB1F8D753AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ac5dd376f44a1a744828bff32794be010e35dd","datavalue":{"value":{"entity-type":"item","numeric-id":2487105,"id":"Q2487105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61f656e9e75cad2da7c707a6507349eeffb54d2","datavalue":{"value":{"amount":"+0.8352647423744202","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":"Q1183814$12A3740D-DDE6-4742-B6DD-DB7782877003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1675ed11622f309995b58f54eaca0d63c3c19f8","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b82796d0c73c09e41cc52c5d6beca2fbf3c07b2","datavalue":{"value":{"amount":"+0.7926392555236816","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":"Q1183814$18B764DB-731B-4C40-ABA3-57EA85DE0E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224946b9158a52a0b1a94fc8a5eac133fb323f09","datavalue":{"value":{"entity-type":"item","numeric-id":875512,"id":"Q875512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdfd06772142bc1741a283f83c09feb45241288","datavalue":{"value":{"amount":"+0.7724781632423401","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":"Q1183814$1E6DF248-B984-45E5-AF43-5B91E04E3E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96227151ac2bc79bae3eaf94e95879b1ed7ccce8","datavalue":{"value":{"amount":"+0.769432783126831","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":"Q1183814$331F4E9F-7A6A-4D45-A02F-59AB456228AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of equivalence in the set of program schema with monotonic and partially commutative operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_equivalence_in_the_set_of_program_schema_with_monotonic_and_partially_commutative_operators"}}}}}