{"entities":{"Q1323311":{"pageid":1334061,"ns":120,"title":"Item:Q1323311","lastrevid":67174683,"modified":"2026-04-12T15:47:37Z","type":"item","id":"Q1323311","labels":{"en":{"language":"en","value":"Contextual rewriting as a sound and complete proof method for conditional LOG-specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567284"}},"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":"Q1323311$FC821694-7724-43C0-A9E6-B087EA2006C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71a3cc39184dbf473707a482b127f54322acbf80","datavalue":{"value":{"text":"Contextual rewriting as a sound and complete proof method for conditional LOG-specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323311$283B4003-CF4E-4BB5-B088-E66E452E0418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9ba79ffec445f5726325e0098b538abc72d2b12","datavalue":{"value":"0790.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$19B7670A-A69D-4868-A171-ACBC6606C067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eaaed64b681502c26d711b9f10b40228842134f","datavalue":{"value":"10.1007/BF01178578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$2D6CE511-B70C-4756-97E2-A9C3E3842F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed55229bd3e6c069ce7f99b0f19bc30ef1facc7","datavalue":{"value":{"entity-type":"item","numeric-id":352973,"id":"Q352973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$BA158831-6C98-43DF-9949-40FFB1F45DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$94319C04-BFEC-43D5-BA96-970285206EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e80c710b29461ec8d173bd590c79ea3afa2ce3a3","datavalue":{"value":{"entity-type":"item","numeric-id":232284,"id":"Q232284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$BB844DDF-BB39-4522-81F8-6A213AB3B63F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$574DA4AB-5F72-433E-8855-E6F36214010C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eea7eb210317162e8ade44c06f241e090fd5838","datavalue":{"value":{"time":"+1994-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323311$F5FFC9FB-8E0C-486D-92EB-B377B677A48D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$7EFB06A5-1659-4EE9-BE52-E5B5528FCB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$38AAB9FB-E723-4897-8C96-00377B68B996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$3AF89A07-8865-44F2-91B8-075AE0746592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bd6205d7108e1f7c522a3e0fbf35968f883e7c4","datavalue":{"value":"567284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$DD9F6CE9-D287-4989-B02F-B9234AE1B384","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323311$E1C69B04-81FE-4F09-9257-E800DF28FFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58df8e17e624d62223ea24283e256d59839b4053","datavalue":{"value":"contextual rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323311$82D44C70-145F-4C34-9EE0-C6AA78B924F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de689154081560c8008202f1aa8982feaffcfb49","datavalue":{"value":"conditional specifications with predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323311$DE05C923-A670-4AD5-9E00-7C8D5AA6E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb14b4f49329143421a6af43211c537fff48d31","datavalue":{"value":"proof-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323311$914040EC-79B9-4E05-AA26-3D863C46C0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323311$62459861-B3D3-485F-B8FA-3F061CDBE79C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$8248D892-7A04-4EBA-A5FE-738380E8E69B","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":"Q1323311$A6A43E8A-F6EE-4230-A427-D2902FBBB759","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$18AB3251-8CCA-4BB0-A600-6A269AE7FB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$00CD6C42-D668-483E-8CD3-1FBD3931AA26","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":"Q1323311$A206F568-E6BD-4131-ABBB-3397A273C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907aa2ec32dd709ef2ac1f74163a80b2dde836f8","datavalue":{"value":{"entity-type":"item","numeric-id":3896478,"id":"Q3896478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$385BB0D1-C218-4E0F-9ECA-4AD827BA8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e91bdc20e9d870021bfa70ee3bfc9573476cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3817580,"id":"Q3817580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$6E31E032-490A-43E8-9401-631775D3E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098dc2680361edb8d9ac752e52c1248c9937145b","datavalue":{"value":{"entity-type":"item","numeric-id":3787463,"id":"Q3787463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$FD6E5CA8-DD13-41ED-B487-73AE8B41E216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$36C4A377-4C72-4865-85AB-AC0E4307B849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$3CB3DECB-29DD-4B55-B138-51A8A93B3298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83b45649de8318de90f31a1dc01224e9092b8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3809250,"id":"Q3809250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$ADA76890-41B2-4242-BD85-7871A291D358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$2529EC12-ACD0-4228-9CA4-6C3CF119C998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324ce2595faf5ea25442b62f0d3c73ad7829f4de","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$9AB7C9FF-B2DB-4DB7-8F5B-D6CA448A2090","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":"Q1323311$C562A6DF-E393-4407-BC63-4D631EF2C9D0","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":"Q1323311$5BDEA351-D3AD-46C5-809C-19F4C4B327F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5fb4be443ba873e3624ebc2ba633ed6783fe73","datavalue":{"value":{"entity-type":"item","numeric-id":3343435,"id":"Q3343435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$5D2C7EA8-1D2D-472A-8110-F90BB404C095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5b94812a0e7aa016cec7465e67fecf8fe8776a","datavalue":{"value":{"entity-type":"item","numeric-id":3034806,"id":"Q3034806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$9A76FFE8-A0CF-4A11-B03A-5FDE230C25C3","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":"Q1323311$A643D44C-4645-4D32-82BC-5181623E0B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a597fd22037151e0c8055849861a47db3ea8e851","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$0E423060-2AC3-462E-8F6C-38BD392D4976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$83578410-5FDB-4349-AF50-F5AF50C39133","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":"Q1323311$B4A86368-7454-47BE-87F6-96C56C11B5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$120D0DAB-F053-4FA9-A755-C822DEE7636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b89105d7ff42b98714d5f0e40901fbc5d230524","datavalue":{"value":{"entity-type":"item","numeric-id":580959,"id":"Q580959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$8B9871F2-C772-40A0-8BB0-E9C571D581B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323311$63EB137E-2B64-4F8F-975F-2B720BED7F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b748da0e51a1bdb3e246c7c995d4c9b421517ac2","datavalue":{"value":"https://doi.org/10.1007/bf01178578","type":"string"},"datatype":"url"},"type":"statement","id":"Q1323311$CBAFF669-66C1-49B8-80B4-21C7A8E07075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c34e043048ec0365b448aaf2df2812195e13a4","datavalue":{"value":"W2080171448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323311$DD4E811C-AB9C-447A-B38F-5899AF9DAA31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e155946c8c0e99e1ac9e2016939f55f4b247e737","datavalue":{"value":{"entity-type":"item","numeric-id":3817591,"id":"Q3817591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fad471d4d04cde2e0066af83b0b061844595743","datavalue":{"value":{"amount":"+0.8081120252609253","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":"Q1323311$89737D74-3B78-4059-BC96-6F3463DED917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4dd089b82d9b827078cffb2c9000714c6c7cf7","datavalue":{"value":{"entity-type":"item","numeric-id":3028332,"id":"Q3028332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a919e3fb40c9dd359888b8c64e0fba2918c11d","datavalue":{"value":{"amount":"+0.7911067008972168","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":"Q1323311$3F5292A3-0C71-47D1-995C-658AD30A92EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd4d5e4ed8d8ec02312bde3b3eebb1213a03487","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fd9c848914ceefb92119683a51ce8001b266ae","datavalue":{"value":{"amount":"+0.7768720984458923","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":"Q1323311$B9FFD957-5CFE-4577-931A-D2D0202597CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265f9f5e9db8b40313331abc9d0ffdf9dbeb2826","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73265475a4c99f3a819b99f8bbdc89d2742abe7","datavalue":{"value":{"amount":"+0.7731894850730896","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":"Q1323311$5C52B328-F3A7-4ED4-A777-B860E65536C5","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":"3781a7861d36a496ce4027e013e35c4bc9be37b3","datavalue":{"value":{"amount":"+0.7719898223876953","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":"Q1323311$16375B91-87D5-4B15-A006-CDF2E4FA6403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual rewriting as a sound and complete proof method for conditional LOG-specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contextual_rewriting_as_a_sound_and_complete_proof_method_for_conditional_LOG-specifications"}}}}}