{"entities":{"Q5021996":{"pageid":7051573,"ns":120,"title":"Item:Q5021996","lastrevid":54200915,"modified":"2026-01-26T11:15:10Z","type":"item","id":"Q5021996","labels":{"en":{"language":"en","value":"Translating metainferences into formulae: satisfaction operators and sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7458049"}},"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":"Q5021996$20661910-126E-4C60-9F66-3142BF7F6108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b0e197d9029570ee1a8e6d842966485c3190f1","datavalue":{"value":{"text":"Translating Metainferences Into Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5021996$171FBDF5-3B88-4668-B9E4-639BF59A15F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e1f3aadd84f6e198afdfc773edad937dfd1015f","datavalue":{"value":"1496.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021996$00B784C6-2EE0-4C61-A3C4-600C4BE442B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ac483b4e9686e793524dae696a13bce933e419","datavalue":{"value":{"entity-type":"item","numeric-id":5021995,"id":"Q5021995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021996$4B3BD4E9-748A-49D3-998C-C6C44BCD895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d40fa97afa474213c75528fe7e50048478c66283","datavalue":{"value":{"entity-type":"item","numeric-id":2054125,"id":"Q2054125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021996$86259F3C-EE17-475A-BCFE-7E24AA088E88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021996$7A0E990A-FFD4-425B-8E59-21A9EF175591","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22d960510734a1b3722cd75cfb98f6e62ba2e104","datavalue":{"value":{"time":"+2022-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5021996$14BDD8FF-A24B-481F-8720-C2EFD58A8D72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021996$6D50BE0A-BFA9-44BC-BD38-302A9F04672F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ac84c9290f0f83bc575978778c8a27551b75cb","datavalue":{"value":"7458049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021996$1BDCD44E-43B4-4C94-8E86-987539672838","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":"Q5021996$B2B135F4-22BB-4B8F-BCFE-9236ED574651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86a954b8e092e20e112a483614d00fbb506d7b83","datavalue":{"value":"https://doi.org/10.26686/ajl.v18i7.6801","type":"string"},"datatype":"url"},"type":"statement","id":"Q5021996$91A8E88D-6AE3-4ED1-9FE2-4284004956E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74124e3430bfd35278901e376e4c4024781bc2da","datavalue":{"value":"W4225526771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021996$EB38D232-1DCC-437D-A6E7-6604F46DB8F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fde70e663c8dc0530fb1b7494b8608af274ef3","datavalue":{"value":"10.26686/AJL.V18I7.6801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021996$9CFD89ED-4B2B-4791-9DDD-DFDE4FED72C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b578dd4060c4e04a2895d69d7d83e2f1311b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5742701,"id":"Q5742701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60df8e46edcba80bb4e76a03b2fb919a9e50eb2a","datavalue":{"value":{"amount":"+0.6978650093078613","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":"Q5021996$F0474F76-19AC-4F71-A36C-D5503C087EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88b5355d971072ea26e3dd34221eff60445cf3b","datavalue":{"value":{"entity-type":"item","numeric-id":830392,"id":"Q830392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5e3082799896d132884a5af97a83940bad14e3","datavalue":{"value":{"amount":"+0.6876621246337891","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":"Q5021996$A9A51867-69F3-457B-B55F-E505CC17DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa36fb652204d580c3841669b782777f3ba7f72","datavalue":{"value":{"entity-type":"item","numeric-id":1182697,"id":"Q1182697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cba8bc01e813d147930aa3815caa2088792076","datavalue":{"value":{"amount":"+0.6567557454109192","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":"Q5021996$1B044B44-8919-4E25-8D24-2C07DC05B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132ac875c4080534f1ccb0876bb4ec64923b2262","datavalue":{"value":{"entity-type":"item","numeric-id":2753262,"id":"Q2753262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c5a6aee838e5e48b421de5b2608e22b8f35442","datavalue":{"value":{"amount":"+0.652104914188385","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":"Q5021996$2B37C391-8753-4134-A69F-A3406563BD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5094ae04adfda4afabc07317ef0f953efceec64b","datavalue":{"value":{"entity-type":"item","numeric-id":830390,"id":"Q830390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84a235856637800bfa96ced807d8facee61e29d","datavalue":{"value":{"amount":"+0.6486031413078308","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":"Q5021996$5EC021FB-4733-4770-93E1-47ED20A98C9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5021996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5021996"}}}}}