{"entities":{"Q3476793":{"pageid":5486896,"ns":120,"title":"Item:Q3476793","lastrevid":49375618,"modified":"2026-01-07T01:33:18Z","type":"item","id":"Q3476793","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145878"}},"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":"Q3476793$C0C530D0-729F-4796-BEE8-2F17FC119022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3624c2758518b15d4dd610e0a032a2e2f6005b","datavalue":{"value":"0699.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476793$14E66627-6DD5-4FCA-A0E6-FE43C26A6342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3476793$8DE6D287-B8A3-4B8D-B0E2-67D96222A5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3476793$4D29EBE9-B5E0-444F-80AB-4040C7DFB7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3476793$A99D98EA-EBDA-4657-AE8E-4197391966A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3476793$998A74D5-089C-4EF7-BB55-EB77B58D69DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476793$A95AA5F0-5D29-4801-B4A1-8E9D99CDB7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476793$215920F7-4F5D-4218-AD02-53B19672F084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffdeca861eac123a6deea36b070ebbef080244ce","datavalue":{"value":"4145878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3476793$69F53AEF-FD9A-406C-B871-7D8327DF24C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80dfb5b1ab51657ec44ac70de979b38a5a5d47b7","datavalue":{"value":"abstract programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476793$1865BA21-20C1-4272-911F-EE837C1EA971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bea9ed20b70f01b3026a25cb04155e15275ba71","datavalue":{"value":"isoinitial model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476793$303A6968-3239-400C-9CDF-CDD23E21B2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476793$BBB81805-31ED-451B-9BE8-B0CF6EBCCA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3476793$40D25FDC-A55F-4B96-B4E1-4EB01FB84B08","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":"Q3476793$3910378D-1D21-412D-8FD5-5166AF8C4677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5528e39978c0857b136e99ff5dcf025263b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3707378,"id":"Q3707378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8174dc55c4d241b891eb87b0f69c52341faa312b","datavalue":{"value":{"amount":"+0.8379058837890625","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":"Q3476793$DA4FE2FB-2309-43C8-84BB-BFA7BD487724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8368c84b1105c00c8e01c60310c5dbbe2b38756a","datavalue":{"value":{"amount":"+0.7995043396949768","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":"Q3476793$131DF9A6-B0A1-45AE-B9A4-16EF4E31B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78b3ecf79be68faa3d83e8bddef8dbf6a0f74","datavalue":{"value":{"entity-type":"item","numeric-id":5752570,"id":"Q5752570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f05b55e7630a2cff23f85bd9c6b75ab695b89c","datavalue":{"value":{"amount":"+0.7874476313591003","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":"Q3476793$087A4BD7-B484-4882-87CF-0A5CF58F9793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c361e61fe9880635bfc94456f072c25e17cdd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1342134,"id":"Q1342134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e13f230a2a852546330618818721bcfe64bca7","datavalue":{"value":{"amount":"+0.7797109484672546","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":"Q3476793$4FA5229A-4F67-46D5-852B-5C9AF95FC942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382710ca837d8622aa9dbaa559c2bf5d60858079","datavalue":{"value":{"amount":"+0.7784672975540161","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":"Q3476793$87D335AD-6A64-49B1-A183-EE03289B9940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3476793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3476793"}}}}}