{"entities":{"Q3817658":{"pageid":5847564,"ns":120,"title":"Item:Q3817658","lastrevid":53869943,"modified":"2026-01-25T20:48:58Z","type":"item","id":"Q3817658","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090853"}},"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":"Q3817658$0D90BC70-63D9-4FFA-BCDA-8AD32E14ABC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a591ff42cb332c18ca69fadeddaa3c7df98486a","datavalue":{"value":"0666.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817658$693EB4E3-062C-4D42-A37B-35F4FAE32ADB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57476dd69b666e7f4143357f8fdbde08c69c0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":209357,"id":"Q209357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817658$C2FEECC3-076A-4FFC-B122-F9C77F5B32C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817658$C43F828D-5D81-4FFC-9B5A-FAAADC645C24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3817658$242273C9-AA08-4084-9A7D-0451BB9FDACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817658$D071BDAC-1D95-46FD-BAF3-C1F32257BFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817658$FF109312-06FF-4879-BA05-F94A4C784D2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f69f51d6262e9f65e6b23a11d7337a82f5a08a","datavalue":{"value":"4090853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817658$93E76A70-C5F4-451A-8BAD-446DEA0C078D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817658$465CC8D8-A13C-4B17-8D9D-679991468D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817658$0C1FB752-04CF-4F1B-AA39-2EC4F1B235D3","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":"Q3817658$2BBF3285-D9B2-43A5-BCEA-05554F3B1D1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69827fa975aa075f7c3865def59e89a9ba8b9148","datavalue":{"value":{"amount":"+0.8932472467422485","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":"Q3817658$2E3D7CC3-3778-4775-8B6C-53B1D110BB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2339ec47b97413a3a62b41c657b8eba74c9dd66e","datavalue":{"value":{"entity-type":"item","numeric-id":3795208,"id":"Q3795208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7207be783acbe4bf7c0623d26a2235b7a8c995","datavalue":{"value":{"amount":"+0.821840763092041","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":"Q3817658$4019117C-AA80-467D-AA44-1D1ACBFEB4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c70a7c796d0e29b0bfc49fc15e7290801f9935","datavalue":{"value":{"entity-type":"item","numeric-id":5055728,"id":"Q5055728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280e250ba168b6e4cbbcf7e815f9d470861bf5a4","datavalue":{"value":{"amount":"+0.8193814754486084","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":"Q3817658$6FB24237-14B7-44B1-95EA-B5C9D0BBD2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0708fd134b7a5793cc1699877aba12ba7e6e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3819995,"id":"Q3819995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab776ec3343eb395e779b52bb50c33c3b6a75e7c","datavalue":{"value":{"amount":"+0.7986602187156677","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":"Q3817658$8B734282-C02F-4DF3-AE9C-63B4E5006658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b31083427bc0ea4739d4cd8a270f5798017e20e","datavalue":{"value":{"amount":"+0.7869095802307129","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":"Q3817658$5C1CCB19-ADD9-41EF-B026-6B5915A712F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817658","badges":[]}}}}}