{"entities":{"Q5881187":{"pageid":7910738,"ns":120,"title":"Item:Q5881187","lastrevid":47823766,"modified":"2026-01-02T19:22:25Z","type":"item","id":"Q5881187","labels":{"en":{"language":"en","value":"Semantics for positive/negative conditional rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661550"}},"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":"Q5881187$B322BA63-0A49-4940-A0C6-FEC373AE0067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b69cac0bd52b7ac9e223b71407bd6df307477e1a","datavalue":{"value":{"text":"Semantics for positive/negative conditional rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881187$18CEA752-75E5-4E1E-AA9C-102AE65A6DE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b1fe6452df9b1a41667b2b82d53fabc9148dc1","datavalue":{"value":"10.1007/3-540-56393-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881187$E55E8C96-0FA9-451B-BF28-25F8C976CBE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2437f7e04b4725b6a7b434b5d2125a560d7eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":880194,"id":"Q880194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$9DF18FA7-66C2-424A-82F4-89A2960E2793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$D2DADCAF-B908-477D-9FE7-B86524784227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881187$721C73EC-17EB-4241-90CA-AC9DD082C061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881187$16E88FD6-300F-434B-9121-C476F4BEF811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881187$CFC8D450-8C5A-4034-BC08-459A7CE52CA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9769345c02a968b7f512ee2e69374c26384a9c","datavalue":{"value":"7661550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881187$A59698DD-66B2-4B31-B2D0-5EF0385DAF29","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":"Q5881187$CBAF52A4-C58D-4EED-9471-9A7C20F6258E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3817765295819582f18681ac7dc0b2bd48a63ebb","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881187$ECBEEF09-5F95-4EF6-B6B6-FC6AE6687ABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"175cfd80d086e33d84a12633ceb76cbe254201d6","datavalue":{"value":"W1584887934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881187$6147DF7C-50F1-4C29-9B42-62E12B3B0242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12497fdae374ac242dec7bb1c2b395122e295456","datavalue":{"value":{"entity-type":"item","numeric-id":3995129,"id":"Q3995129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$8A6DE1CA-BB3B-4115-AFBF-C28ECDB18CE3","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":"Q5881187$D3911C8D-C386-4512-865C-8F3C4C4B1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$617A7EF1-7152-4BF3-A317-AE913D0C64B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd8f5a7508e8ed1812cdb5f71b5cdb7d05495","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$3891485E-0882-42E8-B2D4-ED89652EC463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$19A776DF-EAF1-4361-9BD4-0B943A38DE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76059eb25ccaa777f5a88bc69700bfe2d6f4c465","datavalue":{"value":{"entity-type":"item","numeric-id":5881186,"id":"Q5881186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881187$8BC68C98-B967-43EC-81E2-BA85BA98DEA6","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":"f3e8d9fb8117be5b7fc6ff5e4c4ced8666333df3","datavalue":{"value":{"amount":"+0.8463543653488159","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":"Q5881187$E2CEC804-211A-4C36-8A8B-15EBC46CC460","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":"4628c3ba78630b0fce9fa10034da04f3a2d4f7c1","datavalue":{"value":{"amount":"+0.8325888514518738","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":"Q5881187$4DD19FC3-C869-4AAA-984F-18542C9FA9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc71baf93ee6f2d24641137465fc730854a86af","datavalue":{"value":{"entity-type":"item","numeric-id":4013772,"id":"Q4013772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13c7c96b411dff6e3004e3aac458f1a002aa672","datavalue":{"value":{"amount":"+0.8257530927658081","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":"Q5881187$849E9A22-CAB8-4950-BC46-525C55207561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5720cd84594b4966bf6d004209671bd3246f9205","datavalue":{"value":{"entity-type":"item","numeric-id":1323317,"id":"Q1323317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b34f5bec2d35b0fb36a593405ab1dc441c84dc","datavalue":{"value":{"amount":"+0.8195635676383972","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":"Q5881187$37E8EAD3-37B2-4F6D-A4F3-4D49157FCCB9","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":"b4f7986d6df42cb570a771cd588fc6f09efc73eb","datavalue":{"value":{"amount":"+0.8135119676589966","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":"Q5881187$755ACDCF-F168-4F0D-A66D-29FED6A41774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881187"}}}}}