{"entities":{"Q706502":{"pageid":708351,"ns":120,"title":"Item:Q706502","lastrevid":63677406,"modified":"2026-04-11T14:48:05Z","type":"item","id":"Q706502","labels":{"en":{"language":"en","value":"Validating the PSL/Sugar semantics using automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132393"}},"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":"Q706502$41C6D74D-760E-4FA8-AD38-28463468CBAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d8f4e7b8f171a6de651ca4a8631ad08a4300621","datavalue":{"value":{"text":"Validating the PSL/Sugar semantics using automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706502$60A11A35-201B-4E08-9299-6A47FFBB18CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74d6dae511623c5c28c51bdba2cc89fa618c80d7","datavalue":{"value":"1093.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$BB5FFDDC-C94A-4716-966D-8F9C41A5CB06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706502$B696B10C-111B-40F2-A234-86CF718415FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706502$D02B36AA-FA7A-44C7-96B3-B3793C1B1B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"831ff43a4969733a7698b320c2210720f63950ea","datavalue":{"value":{"time":"+2005-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q706502$AD7CB6C7-8000-496E-8065-D345F0CEA789","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$1C6B57D6-F0EC-40BD-8F88-B4379918637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$969B9925-BAC4-4A8D-BADF-F96C2030B4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$765BE412-776B-4176-B15C-82E977AA5DCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b3de6578f9822c6af3470273541e450d0576a3","datavalue":{"value":"2132393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$E5074668-B945-4E45-804F-74D2D5363F3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805138446cdb3781378ba3e6e1f9d94a77eb6f1a","datavalue":{"value":"Accellera","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$5B08FCDD-E387-42B5-81E9-FF6422F9CAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$EAE106F4-FCEE-4FEF-9327-52EED7156B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e7754691816f964bba3f2c0ee4707f88b8f5c9","datavalue":{"value":"Higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$A9E291EC-E83E-4565-BABB-00F5099802D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$D4DD121B-7627-43F5-96E5-B5329A1611D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$9AE8BB57-6A35-43FE-B2AC-167897445181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44876e7d6b88c220825d80c786fe4ea203f4abdc","datavalue":{"value":"Property language","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$8F7FD74D-7E78-454C-BDDF-2A8B98863D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7979510b1e87891851cefdba13998806375141","datavalue":{"value":"PSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$64086BA3-6C1A-41D7-A8EA-10F39B6ABEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$53DF9F6F-9ECF-439A-B652-B111439FD18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d3860a3dda5c0fe40ae2aa71cdddbf529b0894","datavalue":{"value":"Sugar","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$6D8EA1AB-91C7-49F1-9CB7-BCE7ED63A986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q706502$323513B3-8495-441D-89ED-2D641C463794","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706502$61A6273E-0D28-474D-8FF1-0EB943309C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706502$DD9F7620-C747-4238-AF42-10118FFAEDD8","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":"Q706502$649243AB-604D-43FF-B054-F8D8BEC25E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e0686fddc93a443a33150a096ab204a60f8bdf3","datavalue":{"value":"https://doi.org/10.1007/s00165-003-0014-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q706502$653BD196-E38B-4C27-B91D-E63ADE4A00FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d137e5dd27eca04860761b182ebcbfd1432b709","datavalue":{"value":"W2081042767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$DB0E5FD7-9383-4336-A350-63EED183ADBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f16a422b9bfe5895dff03f44ece7cfe7546cd344","datavalue":{"value":"10.1007/S00165-003-0014-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706502$E465D940-A936-4C2D-ABCF-03BAA9A5D603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c2d38174740d88c721f114ca564498aad706cb","datavalue":{"value":{"entity-type":"item","numeric-id":5897068,"id":"Q5897068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254a26471cc87f9dcd860aa284df7e14423b5809","datavalue":{"value":{"amount":"+0.8171803951263428","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":"Q706502$C0D4A519-4B15-4193-BB61-9639B54DB19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de965f1da72db0c9b679c42d7e886c7b4dfbdc18","datavalue":{"value":{"entity-type":"item","numeric-id":5477666,"id":"Q5477666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fd8cb222c8b0b748f0e20a837043d284676142","datavalue":{"value":{"amount":"+0.7709832787513733","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":"Q706502$89215B90-5062-4F95-AE06-1DE7DF2C5AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba42ea1a432f9ac427e6bc7780ad33426a65ad4a","datavalue":{"value":{"entity-type":"item","numeric-id":4551164,"id":"Q4551164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31299caa50535015bcc6a51cb915a2a96a2f1ba9","datavalue":{"value":{"amount":"+0.7316064834594727","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":"Q706502$232AA176-0938-42AF-A3EC-4C790E6E7BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457256243388a68c527a0f0065b3fd95473c8b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3512439,"id":"Q3512439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8c242b4ae4bffa1ace12647c8fb54bf90f8147","datavalue":{"value":{"amount":"+0.7216723561286926","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":"Q706502$A1FF4649-49F0-4E25-A0E0-458C843C99C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a432c47c56649b276c14a3e9f5b240e6d0af925","datavalue":{"value":{"entity-type":"item","numeric-id":5452203,"id":"Q5452203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a89ad457438349918c6ce70f5587ea406d3f3f","datavalue":{"value":{"amount":"+0.7148393392562866","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":"Q706502$32393E92-A5DB-4170-B9BA-1D3930C79D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validating the PSL/Sugar semantics using automated reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Validating_the_PSL/Sugar_semantics_using_automated_reasoning"}}}}}