{"entities":{"Q5703738":{"pageid":7733292,"ns":120,"title":"Item:Q5703738","lastrevid":92826284,"modified":"2026-06-05T02:50:58Z","type":"item","id":"Q5703738","labels":{"en":{"language":"en","value":"Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2226780"}},"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":"Q5703738$5F998EA3-11BE-43A9-A2F2-FCD2450B34FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c08b70dfb69c131b7696bed7cd0190c6590e20d3","datavalue":{"value":{"text":"Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5703738$EAD13DA1-A741-4A89-B50C-6C75837621C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4169c8b3fb3653922622b333d1eabe7093c5b2b3","datavalue":{"value":"1145.03309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$95FB5477-3983-419A-8AD1-2B7638337459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703738$CF272EDF-4764-49EA-AB83-CE029B9157BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703738$8EEDE576-FA3E-4FBC-B333-5B7F6F3DF49C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c6a9868c050637329eb207cfc7685479640a300","datavalue":{"value":{"time":"+2005-11-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":"Q5703738$AEB1ECD9-88CF-463B-8805-082D04915C19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$43DC67F5-060C-4125-883B-5D44E0CAEA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$E74370A5-69A4-44CC-87B2-B04250C44945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$52B6908C-8A8C-49AE-B1EE-014A5EA67337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$A0620FAB-6F44-41DC-B5F5-37BC9CF86F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e50bb8f2977adf7de6e55740fd3a07282fdbc1f","datavalue":{"value":"2226780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$A1B25211-E187-424B-9FF0-8EF3277E7018","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703738$6CE13D5D-C45A-4F20-B38A-8F4FDC17F77E","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":"Q5703738$52F4CFD1-A8E0-476F-A1E4-06866A97D0DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cad02c244bfd8c7006370501db2395a9e796f1a","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzi032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5703738$00A3EA86-88ED-4061-95BE-61CC4CC4CD6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d77a991b29cebae5f128b9c839a78afd070c239f","datavalue":{"value":"W2100235086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$F387E36B-B0C6-494C-A5CC-7FB65E93C43E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"177f92a5494594b7e34bc6e1fc354acfc27b9421","datavalue":{"value":"10.1093/JIGPAL/JZI032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703738$6A59838A-9A38-4F09-81B4-A7C445DCB3F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eed5f6a80d4ecb9920cca418a19fb8331e160c1","datavalue":{"value":{"entity-type":"item","numeric-id":5906778,"id":"Q5906778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccc8d6cc1821c643fe568149c71905f45baa749","datavalue":{"value":{"amount":"+0.7561517953872681","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":"Q5703738$EF6CAA63-1CB8-4889-9479-21B09A576D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7294073e49d9c11f9bca18f2d24504fd5ad25799","datavalue":{"value":{"entity-type":"item","numeric-id":4585828,"id":"Q4585828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f5a4981c85cb94fc06aa3fee80a74769541021","datavalue":{"value":{"amount":"+0.7477832436561584","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":"Q5703738$21E42F8F-A739-4540-B956-8EB6C5EA4F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d1de08f49ae4c079effd53b637234320fc4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1079560,"id":"Q1079560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090927d7613dc037c439c9a75cc3ec18cb79c3be","datavalue":{"value":{"amount":"+0.7472462058067322","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":"Q5703738$2F685F5E-D23E-4BB8-907E-EF810AA0B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74605f270555cf3185d043a6754024cdf112af54","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08147f70833f22b20dadd8b88536141a405b0c11","datavalue":{"value":{"amount":"+0.7430277466773987","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":"Q5703738$31720607-BDB1-4DF5-800C-FEA6B2BDF833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4eb53dfc4a39c1409d01afbef0f3e8eafde0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4817200,"id":"Q4817200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fd5e8671deb1c77b179f30f47fb7b98d20e913","datavalue":{"value":{"amount":"+0.74142986536026","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":"Q5703738$D15BA1EB-7F15-479F-929E-ECE11CD3EB5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages","badges":[]}}}}}