{"entities":{"Q918541":{"pageid":920389,"ns":120,"title":"Item:Q918541","lastrevid":65341404,"modified":"2026-04-12T01:54:52Z","type":"item","id":"Q918541","labels":{"en":{"language":"en","value":"Conditional equational theories and complete sets of transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158610"}},"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":"Q918541$95019AE3-EB24-4D85-9775-D65AAE17BA87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24d239769de056028446466e82876f0af0cc400f","datavalue":{"value":{"text":"Conditional equational theories and complete sets of transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918541$7636DD06-2124-4336-85B8-2D63B3578710","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea8a0f82161b8074031f836beaae1a69f937a65f","datavalue":{"value":"0706.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$C4887DD0-0F47-41CF-B8DA-53DA04F5484A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57c2a1631e1cf8174f9b9d1419ca468f971f6b3b","datavalue":{"value":"10.1016/0304-3975(90)90063-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$63E56B3F-2E9B-4072-A1B3-FD0B39F1A402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$3EF3EF1F-08D3-4036-8A3D-4DA856B516A0","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":"Q918541$2D5BCFB3-CB87-4C93-9838-F6186701E2EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918541$83FA1B7B-71C8-41C0-AE2A-F4A97C88C51F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$F07746B3-CA2C-41C0-9C27-DEBFF396C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$79E5E780-ED4C-47BE-A332-59C2243736DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$32457FB9-4798-4757-8261-147BFEF00A3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94908b96a6ca6492f30d8ac5a5c5680e9400da8f","datavalue":{"value":"4158610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$17076704-DB2D-4AC3-B804-7A431388F14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df7fd76c9b1f6a6aa9857c19d5c8b8c95a1ac70","datavalue":{"value":"complete sets of transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$C71380C0-6790-49EF-B4A8-D7005A0B33AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee751356c00b49367787432da3a4f7119e58c24","datavalue":{"value":"conditional equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$9A9F844D-A530-441E-B585-01535144A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$4F0EF318-17D4-46BE-82D8-2A0CD3EA77AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e1fdc457ecf54ed3bcf9b3400c96ffa8edd4c0","datavalue":{"value":"search space","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$AB534A36-DB6C-4818-A4C4-E61781C2D932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$4F798451-F487-4A1F-853B-7EA21E650680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q918541$7C6E967F-A4B9-4564-930F-CDB39CE3B2A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e80b1bdb737072b27970ecf165d50631542509a","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$75EBC0A8-D68B-43F6-93D0-16482D5031E7","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":"Q918541$BE8F4385-0582-4D5B-957E-D906CB86B34B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$3C76D8C4-7564-47D0-A56D-8A1C5A1B5CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5c649d6997030aa2756de294a13f22a936e3","datavalue":{"value":{"entity-type":"item","numeric-id":3735058,"id":"Q3735058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$16356C50-DB43-4968-B060-A95BE0C4FD11","rank":"normal"},{"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":"Q918541$C6613266-D4F1-49B8-8332-27D611CC91AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0549abde0a34ec9d88c82b7a5efcd0fdea72cd","datavalue":{"value":{"entity-type":"item","numeric-id":3804235,"id":"Q3804235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$FC1E113C-3E82-48A2-AF11-637BF7739A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3337402bd8757608226013bc4f55633b050e302c","datavalue":{"value":{"entity-type":"item","numeric-id":3771660,"id":"Q3771660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$13452F6D-02DB-46F5-9D09-29638D6CBD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$69C24BBC-A17D-44D5-969E-7BF5D4883D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ba87c987c84ca4579443b762c28d920c8ce683","datavalue":{"value":{"entity-type":"item","numeric-id":1087023,"id":"Q1087023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$1FE2012C-3F08-4361-A740-B54173DE3C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$31354E85-834E-4279-9F46-D6237C565070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b25083c9eb5fda15c72e5f4d7ea7bac8c0309","datavalue":{"value":{"entity-type":"item","numeric-id":3789062,"id":"Q3789062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$043CD71B-C7C7-4E97-81AF-68ADF8F437AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$5E4EE92A-F795-440F-9189-C8B878DDD1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1975eba8d21b5afbbc5f83d203371d383e591b","datavalue":{"value":{"entity-type":"item","numeric-id":1079941,"id":"Q1079941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$02F6FFC0-3544-43C7-8677-2060FD5646E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0b063e99538f837f694f06b6a003774ada4819","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$A2421299-0450-4BCF-BE3C-A53DDB5E29A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd833b39da4bbfb545ee75e04b0eab6b1bce596","datavalue":{"value":{"entity-type":"item","numeric-id":3821637,"id":"Q3821637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$9F725C2C-B1F2-467C-8F51-626C1B6FFC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$EDAE5164-B761-4DE2-B25F-7D4DF695AEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$FC676B8B-B78D-4A34-99A7-7913D804EF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$248A2B83-CCD9-49BD-A61E-9E914B8FA401","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":"Q918541$72A7C0C7-9348-4133-BCDB-7FE9DE301AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$3DBA4DEA-5CB4-4A18-B8C1-568678BDC854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724ed159c350134c0447aff8a0cdb4f9f833258b","datavalue":{"value":{"entity-type":"item","numeric-id":3783622,"id":"Q3783622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$9CB647A0-A208-499E-B041-EA492688D36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$3BE822DF-488C-4EAD-99BE-6CEC8CC4ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$4DBC5A3C-85C9-4E35-9B89-9F1B1A31EB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$8A66885E-8944-4EA1-9441-9B3A814D5443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$49135A36-A5D5-4B8D-9451-32646DF9189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$2A4F339F-FD06-42A6-B5B7-BC790B316FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$CDA2FE5D-813C-4DF2-AF23-340531183EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$64939A82-8C7E-40F9-882E-53F05C45010E","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":"Q918541$2133BC28-E0C8-4401-8EC8-50630A43B7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$48D914C9-3448-4A4C-9324-4CCE61422C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae74153e0f085b8cfa1b39a51e5c7aa9c26c82d","datavalue":{"value":{"entity-type":"item","numeric-id":3338225,"id":"Q3338225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$C7544AF0-B2D3-460E-8445-369EF4D4FC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$CC823B9D-D8A7-4D51-AEE7-068D51406E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d544365c02a91ca2b6961867fb58b0670dc18e3e","datavalue":{"value":{"entity-type":"item","numeric-id":3673087,"id":"Q3673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$D8917840-BDB6-4505-A4DF-F7EB62297EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$33574E57-365F-4739-B40C-25556DBC4F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$10C0AC43-C001-42AB-86BD-C107C41F1B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$BBB66F58-B165-43C2-834B-32FDF0D00DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$9C08DE1B-8190-41F8-A76D-F474D37CFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$EB4CEECE-2363-4BB1-8CDF-181617244C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$D7729840-809A-4E33-978F-0BF7944E1A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$08F8A956-0756-4267-B9FA-297AD9F79B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db57d83c4539b5e1e312a9885e87a573f21cf309","datavalue":{"value":{"entity-type":"item","numeric-id":5562604,"id":"Q5562604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$0B31B7ED-638E-4543-93AA-66856E90DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c6dccccb47191efdb0fb7171a2dcc7ca6f7923","datavalue":{"value":{"entity-type":"item","numeric-id":5624684,"id":"Q5624684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$46A31E39-5113-4C09-81EA-7F2D8B9D057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$91E9F7EB-2378-4946-92A4-66E4C062ACD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918541$1848C95B-918A-4A49-A5E4-B6BB48F599CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edae3ddc4bd485d17d22200b43e5e982f56e773b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90063-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q918541$FB6F1F3E-50F2-4ECB-8288-A5A426A6ED44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99483014874b0c4c0c8f033fbb0c6b3a6fc7df33","datavalue":{"value":"W2001661991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918541$0A9253E0-63C3-425C-ADF8-F262A041BFF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77247d8fee8de65dfd0729adf0d46734a6a0d326","datavalue":{"value":{"entity-type":"item","numeric-id":1592635,"id":"Q1592635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aa4c09c8803cc3cb1265e4326c4b6b5e9b4763","datavalue":{"value":{"amount":"+0.8881551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$72C617FE-692B-4BEC-AE48-2127DDB529D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cefff5977717e3a72fba0ceb63884f6643e966","datavalue":{"value":{"entity-type":"item","numeric-id":3335752,"id":"Q3335752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a32e7672f604a64562afbadde2b1d7095a3a337","datavalue":{"value":{"amount":"+0.8880268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$E9261D08-67E6-4561-A563-2CB489EAAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add8fe37c18a6ca4b2da75fb310531a7bcc6dfdc","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a32e7672f604a64562afbadde2b1d7095a3a337","datavalue":{"value":{"amount":"+0.8880268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$7F37B21A-9791-4FD8-980A-A224A8EF9E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0086ad137200c1e13e80fd6d0be25438baa0abfb","datavalue":{"value":{"entity-type":"item","numeric-id":5052010,"id":"Q5052010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5e656a85e23701195e16519350bfb75ac5b46d","datavalue":{"value":{"amount":"+0.8876854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$E563A670-7A9F-4B56-980C-E2F1B14D212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ec3c7c671787d6282684f27b368eb1bc220843","datavalue":{"value":{"amount":"+0.88765895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$E5997E71-F485-4ADC-9BC8-E164787FF984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d106445541691217e6141100a2b45a086b24cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4946627,"id":"Q4946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca18f379e2ddc9310f6a47e8692e7b49e78b451","datavalue":{"value":{"amount":"+0.8794285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$96A9481F-DCFE-4C8A-8A51-A4D0BEE7759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad691d79e69fb3078a37635693751090af0b61","datavalue":{"value":{"amount":"+0.87858236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$18ED8099-2ADD-442C-A362-6C4FF8F3226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f2a48927bf53a9dd3ff33ad2a42e423ae0b6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40a6b24b50b37524f47ae0c8019a2ed7c9ede34","datavalue":{"value":{"amount":"+0.876852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$2A517E90-A721-4C69-8209-0DEAB2096389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6bd8e0e408e7a811604f82130534361bb707ae","datavalue":{"value":{"amount":"+0.87662244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$08E63D1B-C231-43D7-AAA2-C7A2A8AB52C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70bc27129db8bfcae201ef21143182c726fbcba","datavalue":{"value":{"entity-type":"item","numeric-id":4783329,"id":"Q4783329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cfee2cb3fb341b7e76436aa3ef26648fcae984","datavalue":{"value":{"amount":"+0.8745812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q918541$5BC08250-4B50-4FFB-991F-46FCD91C795D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional equational theories and complete sets of transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_equational_theories_and_complete_sets_of_transformations"}}}}}