{"entities":{"Q1978646":{"pageid":1989388,"ns":120,"title":"Item:Q1978646","lastrevid":46898070,"modified":"2025-12-25T19:48:28Z","type":"item","id":"Q1978646","labels":{"en":{"language":"en","value":"Logicality of conditional rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454402"}},"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":"Q1978646$E66ED2E5-5249-4B71-9373-80D25DB43DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f9ca60300ea71b1e6e7f243c32c2adfe0b75464","datavalue":{"value":{"text":"Logicality of conditional rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978646$493BF626-DC6E-44D3-AC52-EC77F714569C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87ffe23cbecdabaa2094f3072e22a8ae52e0cfe7","datavalue":{"value":"0938.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978646$15ED9545-F28F-4E96-800E-C35921A4B901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5a383b2c2748cc9050da31fa0110a3526cc1e9","datavalue":{"value":"10.1016/S0304-3975(99)00210-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978646$895A25C9-2C3E-4CF7-BE31-DA79BBA021A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$CAEAC2CF-AD82-4DAB-8DC2-B18A896F3F76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$C195CA57-3DFB-49B3-9BEF-AE02FA3B4855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978646$A3C2EE8F-60B1-486A-AC99-D903119C65F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978646$A9E8B734-59BE-46D2-B693-100F7B7A5B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a6eb0a349f53590ffb1e9a2338980cbf6319076","datavalue":{"value":"1454402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978646$0C90DAAF-3D14-403C-9190-BDA5B80AEAB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305f396544750615b8805407cb26020e34d8a8c3","datavalue":{"value":"logicality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978646$2A1968BD-4A71-4FDC-9DE3-B0BC6F3B4F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65cffcc10d54ff11d0211f73a77cfac651762fa3","datavalue":{"value":"conditional rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978646$351406C4-6848-4DFD-B0BB-D343EFF01C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050f6436cfb0ebe8692dd8ef2e624f03f90c1926","datavalue":{"value":"conditional equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978646$95BDE600-D9C9-4771-B1BD-E5161DABD572","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":"Q1978646$15647072-793A-4679-BB71-93435B7F0365","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$A497F2BA-C558-4E84-BA17-E026E99A0045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba63cec2a86a6dc7431d441a20d30f64d69d94c","datavalue":{"value":{"entity-type":"item","numeric-id":5055711,"id":"Q5055711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$32A3F68E-8AC0-4448-8A38-A73168055608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$C6D42587-A52E-4A51-883A-A3D7BD9025B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42ec1bb8c7676a757cf5ac4a4d4cbabf4f12a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5055780,"id":"Q5055780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$B38118BB-20F9-40D9-A94D-F5729E1A8CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$0A97B859-274C-4D82-BEA7-4D872E626645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$A865EE4E-6C75-4393-BBFA-291350D4BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c58f6dbd0f6ef6f9759a57bd38070a2b913e050","datavalue":{"value":{"entity-type":"item","numeric-id":5881206,"id":"Q5881206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$499EBE2E-E115-4875-AC20-BA01D164BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fc502056f8cc2ccfd9332e67d94de225503f6","datavalue":{"value":{"entity-type":"item","numeric-id":3789061,"id":"Q3789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$7520B996-B8A1-49C3-94A5-677F97C2A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f8998ac8fbac431053ad367be8e15054d53d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4259965,"id":"Q4259965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$F71E4E8F-8A10-4DB1-BC0E-DD6B012FC81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$EB90B718-DA79-4FF5-8A72-CCEB36724B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$876DC26B-1DBA-49E9-AA44-14C7404E3036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$5EF2BA03-A0B3-45F6-8617-A82FB3D6EC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$4BB6E415-2E70-4B8E-855F-07B51961F99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$AB047461-67F5-46AF-892B-BBD0B4A40E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a987d2f9ab0204c5ce5d20849e4a53b5deaf8845","datavalue":{"value":{"entity-type":"item","numeric-id":4705614,"id":"Q4705614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978646$0BF6AEBD-1C91-4EE3-95EA-06B2D6F27A50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b90fe18750a62bb1daa9f4e4487b4461f90ded","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be41e2ba31417c775b18b69b917d1db13623e6ef","datavalue":{"value":{"amount":"+0.8663379549980164","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":"Q1978646$58DA635D-FB46-4C9D-8F57-6899EFFC697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5f85279b95e536bf1c8b8935482b0d78be786d","datavalue":{"value":{"amount":"+0.8420847654342651","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":"Q1978646$15368226-EE4D-4351-9D5A-A039B72AD351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f492c38b5a5fd2873b5a6b3d34588361cd4ff6","datavalue":{"value":{"amount":"+0.8140244483947754","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":"Q1978646$98E60D5B-6A26-409D-B15D-B40EFB01CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c565917c1e72bdfbb9ff907411e4ec7a5444b7e","datavalue":{"value":{"amount":"+0.8027128577232361","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":"Q1978646$D186B43D-F53E-4A28-A954-F595D805ED72","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":"a49a9593e792911debf7fee887e62417cfe07612","datavalue":{"value":{"amount":"+0.800953209400177","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":"Q1978646$E3D04FA6-01BD-4DDB-B566-93EF8D42C36A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978646"}}}}}