{"entities":{"Q3817657":{"pageid":5847563,"ns":120,"title":"Item:Q3817657","lastrevid":53869940,"modified":"2026-01-25T20:48:51Z","type":"item","id":"Q3817657","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090852"}},"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":"Q3817657$22B34096-D74E-432E-93D0-0EAB958A1E78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffc7cd77d903da633e413ad77e04412c9ecd9814","datavalue":{"value":"0666.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817657$49AF8F48-4B22-4EEA-B6E9-734D1ADB72FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1957d20bd80c77cf6d1a55847688227d4cf6ab","datavalue":{"value":{"entity-type":"item","numeric-id":914404,"id":"Q914404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817657$2BE8613E-A71A-448E-A410-2FCEE15D11A5","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":"Q3817657$CE374322-7F9B-44FB-8FC6-AC365D7C44AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817657$488F7F7F-D628-403B-87C4-7199EF8913DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817657$9F5E3900-311D-4E75-A294-7350CDA2FF1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c6bc5d0bd6eabe4b32ab4f6df23217ccfabf771","datavalue":{"value":"4090852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817657$F6B2FE2E-454B-45BF-9A80-DFB92D01BA03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817657$45ADFB99-D64C-440A-9718-1CF760A4791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817657$4B865FDF-8376-4081-9BCC-52539F0EBBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2812cecffe96be277f8a8d212c105d4957fa62cb","datavalue":{"value":"reducing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817657$DB3811B3-F8B9-4965-A08B-E3DDD368304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817657$F5CBAE3F-C1EA-4968-9845-B4ABA89247C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3378b694ef79db4ebe4d0a12f161e47814c76f5a","datavalue":{"value":"critical-pair criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817657$5666EF77-F3B5-4682-9E9D-0DEE41370C5A","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":"Q3817657$72CBF392-D1F7-4CDE-BF58-84FD0FF6ADB7","rank":"normal"}],"P1643":[{"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":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$D83C2764-417E-4AF4-862D-E4F893C414D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9775cda2bb2411487bc1e6f0a94cd052e99d687","datavalue":{"value":{"entity-type":"item","numeric-id":5881187,"id":"Q5881187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac8bcebad046ee801cce0a61ab159f7ceac60e7","datavalue":{"value":{"amount":"+0.9186898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$C3239150-7EDD-4291-8B50-031B16750D13","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":"19fb90566c02bfeb8a2db1b1820322d2cc5c3d4f","datavalue":{"value":{"amount":"+0.87913954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$0016BCBC-2C8C-4B92-97E6-FA23250A7CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae618caf1cebf2da2c81e44bb5739a309ab4396","datavalue":{"value":{"entity-type":"item","numeric-id":5881263,"id":"Q5881263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b4034f2f557087b340d026f0343662417d17ed","datavalue":{"value":{"amount":"+0.87227494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$6D1656D0-6F02-4F22-84EB-6671519A2653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88a83e412243b10963475e25b74bdc4801f9912","datavalue":{"value":{"entity-type":"item","numeric-id":5096313,"id":"Q5096313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2c93acace035cb22ba5ba66277dfd3f796f094","datavalue":{"value":{"amount":"+0.8648697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$1D14F281-2D4A-42AD-9A0A-C79A6F061536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699463bc53cacb91cc27950bee3dc5dbc42d4816","datavalue":{"value":{"entity-type":"item","numeric-id":4315303,"id":"Q4315303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69d353f4079f7432951d78c4ffe094a48f30151","datavalue":{"value":{"amount":"+0.85885745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$394E3BB6-B632-4AAF-A07E-633F8FBE403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aa552affd213736b23bb0bed598057e70276fd","datavalue":{"value":{"entity-type":"item","numeric-id":5703990,"id":"Q5703990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bdddfb5a61e6e112f1d6e29c29c56c6686500f","datavalue":{"value":{"amount":"+0.85350764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$56401973-10C8-46E7-866E-3520C27EFA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04d9f58c993fccc6e4843d1cd44cf9fd9b059bb","datavalue":{"value":{"entity-type":"item","numeric-id":5087656,"id":"Q5087656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1dca2d1df73c37e6e805d86fff320bd1f1d36b","datavalue":{"value":{"amount":"+0.8488406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$BECDB3C4-22F3-48F3-9A1D-A1F2B6E58BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f3b5721bd1b25ff3d62063374bb9e7db91374","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d6fecf81b59f4897228bb4f18bf058ca8e2d09","datavalue":{"value":{"amount":"+0.8475224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$59963A94-1790-4056-BFBB-599DA2FC5B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598a66c661a68dbd8a1af8fc5a3e9c21b4217523","datavalue":{"value":{"entity-type":"item","numeric-id":4364374,"id":"Q4364374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503a01e6aa40a8bfc8b5b815f03f09a6b7ec565c","datavalue":{"value":{"amount":"+0.8455047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3817657$BF9AE22C-6429-4B94-ABA3-58DE4D345CAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817657"}}}}}