{"entities":{"Q5310673":{"pageid":7340247,"ns":120,"title":"Item:Q5310673","lastrevid":50182691,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310673","labels":{"en":{"language":"en","value":"Linear Abadi and Plotkin Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200143"}},"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":"Q5310673$6048ED82-8354-4C90-9A1A-D2F606FC8FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f6b92bfda46c6a3f80b3336f2e7f695829caa7a","datavalue":{"value":{"text":"Linear Abadi and Plotkin Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310673$DCBC18C5-2886-47A1-875C-107F62249C12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfc340cfa2c50cc6750937b22c793809c4dfd023","datavalue":{"value":"1127.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$901FBCCC-2E23-4B14-BB1E-CBAED643820A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92a3c21f78f89060f34195c5e57f189156092639","datavalue":{"value":"10.2168/LMCS-2(5:2)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$3281484D-44FC-48D0-B32C-F745CF83312E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310673$27936E1E-64FF-4D11-81BE-60739148EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f318053c344ddb9fb0e2eaab56a07f65ebdf1c2f","datavalue":{"value":{"entity-type":"item","numeric-id":288813,"id":"Q288813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310673$D94A5CF0-57FD-4627-8DF9-9E94D7AD6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310673$859706C7-9EDF-4B01-9F9B-15437600793D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310673$6CD37060-A952-40DD-B40B-02CE00395349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310673$A5231980-F3FD-404D-8F22-F7AED60A38EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$F9A6E35D-2A26-4328-BFEA-5F6E8FA8F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$1BE4ADD4-AF59-4AE2-A657-D5B7C59C887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$FE261AC6-9F28-46AE-9611-C9CD863C7E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dc0b3985dddb619fdaaa2ff380a2827adfeedc7","datavalue":{"value":"5200143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310673$415665D0-E79B-4CB0-955F-78F4926170E3","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":"Q5310673$99BF8317-77D1-41A6-A805-4AEF09C8A10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbb9be1592b07b7213b5c8e95c87d09d6c5d166","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e32bd67085a9d8c433229af65c0376990d512b","datavalue":{"value":{"amount":"+0.8374238610267639","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":"Q5310673$D5F105A9-3E7B-4FB4-B3F4-B5911D976E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e36620af32cb2a8ddf42bcbfdd33d4f45b8857","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda4dbaa539c8f19b44e601481c0ad00962e48f6","datavalue":{"value":{"amount":"+0.8173618316650391","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":"Q5310673$B8B41CCE-4E29-446F-BE3B-F9027C3BE21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c864e2e11aecc76e4b679c6d8bf290dd6d7245d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263878,"id":"Q4263878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90d59bc4814fb0eec072464ea29b9be1f78b56c","datavalue":{"value":{"amount":"+0.8146185278892517","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":"Q5310673$D781BD10-2B46-4A37-9D17-FF4BF9A25034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc7d157831fb560c9dfb165b6fa904fea4f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204ce8408e7fce2bb399567987789fd946c1916f","datavalue":{"value":{"amount":"+0.8035351037979126","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":"Q5310673$76FAB305-C7E2-4298-A9B3-A06E4E55CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdf043a2e7658745e988b5b4ad0ad8927ef26af","datavalue":{"value":{"entity-type":"item","numeric-id":3837987,"id":"Q3837987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846d6441cdc49cd9a195bd1ceaa4b277be7568fa","datavalue":{"value":{"amount":"+0.7676870226860046","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":"Q5310673$B5CCCA0D-DF56-42C9-B9A8-25B351F3D1B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310673"}}}}}