{"entities":{"Q1332337":{"pageid":1343087,"ns":120,"title":"Item:Q1332337","lastrevid":70162929,"modified":"2026-04-13T12:51:35Z","type":"item","id":"Q1332337","labels":{"en":{"language":"en","value":"A constructor-based approach to positive/negative-conditional equational specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637265"}},"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":"Q1332337$CBAD9DCC-C887-4D6B-B091-BA57DCBAAA64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5b3303e15b3fa8d038c0b874a24a5bda70f5eae","datavalue":{"value":{"text":"A constructor-based approach to positive/negative-conditional equational specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332337$BBBBCCD4-730D-4E4A-92BD-448B80AE7CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9d5229ea81b086d947ff3f3b86a3ffc674ccc20","datavalue":{"value":"0821.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332337$F4FB7AE3-9729-40ED-A36A-5A5AC1D05BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332337$584DD028-8E2A-4886-B22B-67EDFBAE6C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332337$FA9C95A7-F4D0-48FC-80A8-AF021B0B1B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332337$EF3F4552-3A42-4AB5-A1FC-F9A052C3C395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08f5437286aaa8af8092e84ccdd0fe40a386052f","datavalue":{"value":{"time":"+1995-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332337$E17C4099-7EE9-43EE-88B1-28E211F8D656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0f9abb1efae9206da47432590c1748a81d03863","datavalue":{"value":"https://semanticscholar.org/paper/f75b5f9e3524e7a1f431575a9f3ef04bb42082fd","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332337$E722B4C1-3DC2-422D-BC65-47304B7B8D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332337$951D7363-1F62-4745-90A5-8FF8B2B3B1D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7358cf60aa3788d5c86666ea044709e92af314a1","datavalue":{"value":"637265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332337$F50FE9A2-767C-4097-9477-81F5A3769A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332337$5CEDD6BD-2AEA-4EFB-9DD4-87323F27EEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f19891de0a01387c12729c9c76ce0b3358884d","datavalue":{"value":"positive-conditional rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332337$44B8C3FD-DD06-4724-B5B8-2E9F98318698","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":"Q1332337$5A27F5C4-B6E7-43FA-BA23-0F5C09DF00F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41869053d4da9fb5fa3b4be40b35dfecdb4a377f","datavalue":{"value":"W2006337295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332337$5FD99210-4694-42B8-BBC5-D3739DB05797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3657febe7b89b02da878e442bb8e3e1d6e3671b4","datavalue":{"value":"10.1006/JSCO.1994.1004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332337$B75A6B9F-AD84-4348-A31E-7BE82DE11A10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d0aa1689d041e49957d4b4962593e0902a8daf","datavalue":{"value":{"entity-type":"item","numeric-id":5881186,"id":"Q5881186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b84bf00cde758ccf089d4d9690da83e0e41fee","datavalue":{"value":{"amount":"+0.949722707271576","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":"Q1332337$9C79A648-80C0-4318-8CAE-851A727E17B9","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":"290c838addfdbaf502fc87d96a34385668f2ba0d","datavalue":{"value":{"amount":"+0.8396994471549988","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":"Q1332337$B57120CF-9A86-48B3-8ADC-3C5223CE01DB","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":"7ab3dd8309dbcbb3fedd54e8247d85a99ca0165f","datavalue":{"value":{"amount":"+0.8170249462127686","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":"Q1332337$80807236-6B7C-4ABD-863D-681AD70C99DD","rank":"normal"},{"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":"2f206c3c06da223494dd82a09141eb942f94efab","datavalue":{"value":{"amount":"+0.7918219566345215","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":"Q1332337$2C632EF5-0553-4028-B0E8-026564B6D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29004bcb25df662c30708490b6035b3c899698ba","datavalue":{"value":{"entity-type":"item","numeric-id":3817658,"id":"Q3817658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb06d4d211d542e4ddc0c54ac968c916336a04d","datavalue":{"value":{"amount":"+0.7615886926651001","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":"Q1332337$F05FBC68-CB2C-4174-BDE8-790887B1AAA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructor-based approach to positive/negative-conditional equational specifications","badges":[]}}}}}