{"entities":{"Q4503900":{"pageid":6533493,"ns":120,"title":"Item:Q4503900","lastrevid":47505550,"modified":"2026-01-01T22:31:45Z","type":"item","id":"Q4503900","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507180"}},"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":"Q4503900$C4292A92-18BC-4584-B471-43CE4DD8AE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1fad41629b139f77d4f1f925b070de3ab95d1c1","datavalue":{"value":"0955.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503900$BE0DA491-E189-41CF-93C3-6432BD1D7D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503900$841A5818-28C9-4F82-ADEA-EF094F4763C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503900$DFDBCA23-C3C1-4D70-BBF5-D9507311F003","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503900$8D44EB7F-4C35-404F-B482-67681851B06C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a2f1ae622a48d497f619c92a0f889f93eb0ba5","datavalue":{"value":"1507180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503900$79EBFC15-EF8A-46AB-A20A-297DD2102B7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955688f8f009946dc6794320a63f9fe18f43ea22","datavalue":{"value":"higher-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503900$DA71C0F4-4FBF-4E76-8F21-B2E7E4AFD2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503900$1B5ED272-D4FC-4C73-9D33-3C839F438894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503900$915594F8-A591-486C-8C7F-F42706876C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503900$B4A986EC-12A7-47F8-8BCC-F0C41650F814","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":"Q4503900$B5B42E3C-B0F6-459F-8CBA-AB6B3F3B18DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f280a88be76b9f93bbe66b3961c5533d4e963164","datavalue":{"value":{"entity-type":"item","numeric-id":4934143,"id":"Q4934143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5898071542dbc7e99ba12ed3e78079b1270e9f","datavalue":{"value":{"amount":"+0.7964399456977844","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":"Q4503900$13793498-0477-4836-9AE5-1FBFD6B1E758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971d92b2892557a441e98412b3cd6be67213fed1","datavalue":{"value":{"entity-type":"item","numeric-id":5044857,"id":"Q5044857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5898071542dbc7e99ba12ed3e78079b1270e9f","datavalue":{"value":{"amount":"+0.7964399456977844","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":"Q4503900$C990EADE-9BE4-4FB1-AB10-3E0C1D5054A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7354bfa68573189b80e375f0f138c5ca2446960f","datavalue":{"value":{"amount":"+0.7690421342849731","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":"Q4503900$210E99AF-308C-4B06-B299-CFC43FCE3C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ee7a85143a03c8ab9bc1797f0afa1755e73c63","datavalue":{"value":{"entity-type":"item","numeric-id":4332417,"id":"Q4332417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d84f81342b928f6a23c248e1f1ef88006996a4c","datavalue":{"value":{"amount":"+0.7619997262954712","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":"Q4503900$598736B8-EAA5-4DF5-A4D9-37C0942464E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb7484ee2eceddcd95b73026b3fb66f60008803","datavalue":{"value":{"amount":"+0.7618571519851685","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":"Q4503900$BEF279CF-9773-4E43-A237-3BCC02E6153A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503900"}}}}}