{"entities":{"Q3012523":{"pageid":3023247,"ns":120,"title":"Item:Q3012523","lastrevid":51285443,"modified":"2026-01-17T14:42:51Z","type":"item","id":"Q3012523","labels":{"en":{"language":"en","value":"Specifying, programming and verifying with equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5917709"}},"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":"Q3012523$B9A71ED6-ED67-4A7F-8850-CF234C08750B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e662af9180f27819f130c74c735c146599a544fd","datavalue":{"value":"1221.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012523$A483205A-E7B7-4C58-8E35-298BEA12FCE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012523$4E831E30-B872-4FBF-BA61-8D20FA14D223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"868f39be9ae05d153a0b05599e8ca51e69f9fe6e","datavalue":{"value":{"entity-type":"item","numeric-id":241053,"id":"Q241053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012523$699A423A-5578-48F2-AC2B-31A54057634B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"235af9c0a6e9b35821fb203a52c353ab6dbd7661","datavalue":{"value":{"time":"+2011-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012523$FB740D69-D09D-48F4-A982-9FBE03C367B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012523$E4D5F35D-E3E7-4578-8678-04E860200DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012523$3ECF7CB5-D2B4-478F-A51D-1EBE4F764217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012523$466560F7-0DF0-4CAC-9291-5255EB625480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6740e8805e3a3c0c44ea85fdc1ffa3dee5e57241","datavalue":{"value":"5917709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012523$3356FE59-770F-4487-B2EC-F851565AB8F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7fbec2833f492f0b96e8b517a8f780f8aa68fde","datavalue":{"value":"OBJ languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012523$6978335E-BF49-43B8-B238-A2D3EDFB7A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca49b7679db5fb9c2d86f821f312169b345614aa","datavalue":{"value":"first-order equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012523$4A2A6128-6B45-45AF-BFF8-25E45E1B5D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e48768c097e37eda93b3f9feb6fc55ed181e9b6","datavalue":{"value":"logical programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012523$F9EFD469-9E4F-41AC-9FF0-A9C6DAF6EA0D","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":"Q3012523$3B08F11F-4E0A-4E45-8CDA-D2C7A473ECEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d04ed5003170bcac946af1ee44d1739359359d","datavalue":{"value":{"entity-type":"item","numeric-id":5757927,"id":"Q5757927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b83922f67068ba53868c3d4b6a698e637c316f","datavalue":{"value":{"amount":"+0.7680719494819641","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":"Q3012523$5088F653-8440-4CD3-8D37-D80A121A1D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc27437ed9955636f8914da828a7369503ecef9d","datavalue":{"value":{"entity-type":"item","numeric-id":3805877,"id":"Q3805877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872d593b002c97c1e0b6b020c90e04841122390a","datavalue":{"value":{"amount":"+0.7584536075592041","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":"Q3012523$BAA9A4D0-C932-4D83-9968-5F699EDA1597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec078045241b76378443871480db39de7113a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3992232,"id":"Q3992232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83ab3c2afab96e180fa72d1759d30cf050a0d5b","datavalue":{"value":{"amount":"+0.7569595575332642","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":"Q3012523$35397583-3E8B-4858-BCA2-91A737425DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829d599ee99f99e8f18209f7fc970f7f62999852","datavalue":{"value":{"entity-type":"item","numeric-id":4680190,"id":"Q4680190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43df829db4d3f117a68d8bbb15943e16f9b872fa","datavalue":{"value":{"amount":"+0.7522367238998413","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":"Q3012523$924670AC-58AD-4F8D-A1B4-92800864D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ba3038fd3db031e5d33c616f57d63ef877e453","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8855ba9961ba33014136b8e846992a3ba481d537","datavalue":{"value":{"amount":"+0.7369101643562317","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":"Q3012523$C51403E2-17FA-45C0-ACEE-4BF302ED404C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012523"}}}}}