{"entities":{"Q688277":{"pageid":690126,"ns":120,"title":"Item:Q688277","lastrevid":63630858,"modified":"2026-04-11T14:28:32Z","type":"item","id":"Q688277","labels":{"en":{"language":"en","value":"A logical framework for deductive objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444654"}},"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":"Q688277$4CCAABB3-3C9B-460E-A8A9-70F23C13BE0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1516a16cf3bf714da0b171e53a647fb093cc83e","datavalue":{"value":{"text":"A logical framework for deductive objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688277$72868BC8-4F98-4AF8-905F-2DC5BCA27F36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72c643b6c6e1b0a48755e2aa7379e215775e4fe2","datavalue":{"value":"0781.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688277$2374680D-678F-4BE8-8219-E7934E44589C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0348bf2d81a6b7cd64d13335f849367806fb78e0","datavalue":{"value":"10.1016/0306-4379(92)90034-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688277$348C2BF0-DE44-49F5-A636-F5F7CE653A6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db65db5ce8199524f5f3783d2f107786dc37af0","datavalue":{"value":{"entity-type":"item","numeric-id":688276,"id":"Q688276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688277$B0B59990-7EC2-41A4-9B7C-3E6CD4FC329F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62e0251915bd7b9ecd6daf39f97f5bb27a9c612e","datavalue":{"value":{"entity-type":"item","numeric-id":82364,"id":"Q82364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688277$8458E82D-238F-4C09-934A-4EF0396AA67A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688277$7EFCC64C-25B6-42FA-A7B1-18220131A726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688277$3344A297-E852-4E26-9C7B-A3CC63A0E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688277$8F96B57A-6E33-4D40-B529-C3F92FABCE9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"697828dc98b23da6b9129871a1dd8d5c80df36bf","datavalue":{"value":"444654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688277$6F37EE1C-DBEC-4A66-BA59-8F35C3125EE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q688277$0B4E1EFA-7745-4E8B-982A-E57B1248113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c047ec892e4027dc0f0aba33a5554b93851b89a6","datavalue":{"value":"deductive closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q688277$73DCAFF1-FF67-4E50-8889-B9465F7368C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef49a4a6c5014f13c2ba1c89905b7703a67f73dd","datavalue":{"value":"complex objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q688277$7E980A27-577D-4113-BE32-AD6E432FE411","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":"Q688277$1A6BB2E9-710C-44D6-BE80-E6E33BA385FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22a180f82bbe171a777b41eb2b51460e8969936","datavalue":{"value":{"entity-type":"item","numeric-id":2277840,"id":"Q2277840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55945c9664c8ace004fb4605b51c755c8e52ed93","datavalue":{"value":{"amount":"+0.7717736959457397","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":"Q688277$B0CAD86B-AA1D-4E23-AEE8-DD56E28F73DC","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":"67f6adaa87b70b889aff91d8a67970d06ee7254d","datavalue":{"value":{"amount":"+0.770189106464386","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":"Q688277$21F17CE7-1085-4663-B191-49AD2C08ABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e6084f64a9ee70ae91071b642c983a0709062c","datavalue":{"value":{"entity-type":"item","numeric-id":918674,"id":"Q918674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb548cb52d88662144aba84ced4111e33ed975e","datavalue":{"value":{"amount":"+0.7581156492233276","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":"Q688277$8011F45C-7437-4E79-B9EA-990FAF7C0A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d49ae39e0d41b399e806f4b2dc6f31f95061ac","datavalue":{"value":{"entity-type":"item","numeric-id":1360678,"id":"Q1360678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0dad7c9d3480b80986198f663ad11bb6598588","datavalue":{"value":{"amount":"+0.7488365769386292","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":"Q688277$5DCCA53D-279B-4B06-87C0-723712D3DF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b5938b569f2cf8c84ac5fe15d3b3d31e31860","datavalue":{"value":{"entity-type":"item","numeric-id":686642,"id":"Q686642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaae278848bd909cfb6b5a9ab6f4eb9b763966d8","datavalue":{"value":{"amount":"+0.7485998272895813","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":"Q688277$A72B5B5C-D83F-410A-95B6-2E70BBECA271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical framework for deductive objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_framework_for_deductive_objects"}}}}}