{"entities":{"Q514508":{"pageid":516275,"ns":120,"title":"Item:Q514508","lastrevid":62438979,"modified":"2026-04-11T06:06:00Z","type":"item","id":"Q514508","labels":{"en":{"language":"en","value":"Constructing natural extensions of propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6690916"}},"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":"Q514508$58175D1F-CE50-4331-B64A-C2D7C9634DF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aaf53dc0005939404e1c5ed6fa661b767177977","datavalue":{"value":{"text":"Constructing natural extensions of propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514508$2F36287E-AE5F-4F8F-BE50-FA555916B1F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77c5c3a1a928012638412351033373f43c9d3629","datavalue":{"value":"1417.03306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$C474EF95-E178-4DB4-896F-ADD17FD31381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0579531bdb02a66b041694d6de10dba6a4f9707","datavalue":{"value":{"entity-type":"item","numeric-id":295912,"id":"Q295912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$56378D6F-A62E-43ED-BC69-BF5205CE54EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$ADA99AB0-6F91-4FC2-9A73-C40930D1CE32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a8460bdb64b4b5e4361d553b383ac843f49ee0c","datavalue":{"value":{"time":"+2017-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q514508$8AB16A85-5288-44B1-8508-3D251921BAEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$B8C7F5D4-1FD3-4488-95B5-AA33193729D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$05299CEE-BDEC-476F-98C0-87CA7180FC68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d626a09b36a6c7edc5f23005f088bc0e4eb2312","datavalue":{"value":"6690916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$1C605294-C2EA-4597-A626-97715ABCCCD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514508$593A3286-A0F0-4A04-BD0D-C99314756CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q514508$39628717-F499-4B4D-BE03-29C89EDCDA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514508$99FC755E-F316-4C6B-B7E1-989001AE8798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cb8710a7ee86bd6998f65a1a9d801c3afa5da4","datavalue":{"value":"natural extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q514508$9D6A148B-505C-4E71-8376-C79C69205A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b5c5d649273b0cb25351497f947351dbcd6657","datavalue":{"value":"transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q514508$348828C4-2AAF-49FA-8895-3F37CA77F603","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":"Q514508$AD362E0B-2F4C-46C1-8DC0-38A73EB7CF38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc67c3a59f4a7a737f30790b1544da16e6066604","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9671-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q514508$9243113A-10FE-4821-81F8-AB8500EB9254","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ba063200b9fe2de6c233ad0391117ee42959a0","datavalue":{"value":"W2394386647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$436682F5-2BAD-4EFC-8F64-F5010934DA3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"856e353b6d9b1fe3241e327d8ed594cf655faebe","datavalue":{"value":{"entity-type":"item","numeric-id":495839,"id":"Q495839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$3B0925A7-6168-4A53-A3DE-C245D735A564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50369845a7a4e8b8d5b886982f2bd602edbce708","datavalue":{"value":{"entity-type":"item","numeric-id":1145134,"id":"Q1145134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$B4417386-2CC8-4F87-BECD-C88297DF1DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$D090FE5E-4CE2-46D3-AF7C-53F1DE875FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$25C34CB4-1D17-4AD4-8CCB-6579947C7E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$A079DC7B-BE39-4519-85E5-3CB0C890372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$54F4DEE0-07B4-4648-A986-B6064B28E46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514508$CA997240-1E1F-4E92-894A-EF40F59DAC06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5e025f14ebfa1204cb681663c493e362299dbc7","datavalue":{"value":"10.1007/S11225-016-9671-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514508$979A58F4-FA79-4E20-ADD4-699331B99CF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cb2bb4938065958b08dc3c55d9fca03dbbde7e","datavalue":{"value":{"entity-type":"item","numeric-id":495839,"id":"Q495839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a6aab402579a205cd47ddcbf9660f11fb25fb5","datavalue":{"value":{"amount":"+0.895629346370697","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":"Q514508$D7B42066-7629-4490-BE44-12B8C04A1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa39297d4cc919a14acb5567a2e80bb4c92f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef469c1e981bffe5dcaa8e43fb18b7c9a5b5e93","datavalue":{"value":{"amount":"+0.8167897462844849","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":"Q514508$5BAD2E8A-61B2-4B5B-B489-EAE8781F81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4f006ba9f9e867168533689378936db3094c92","datavalue":{"value":{"entity-type":"item","numeric-id":1037594,"id":"Q1037594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc3f6d53cf7375434d652eafee9fb34dee55b8e","datavalue":{"value":{"amount":"+0.7542009353637695","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":"Q514508$A574B5D5-F26D-4D95-9E86-3C5FE098F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7fcdcbb64143b40b05b153620df74221c208e4","datavalue":{"value":{"entity-type":"item","numeric-id":636384,"id":"Q636384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8f9dfab5e7a09c5ed15a795237777c18f54503","datavalue":{"value":{"amount":"+0.7419713139533997","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":"Q514508$2FBA9ADD-3381-478B-8B36-CB5267CDC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f23d253df6fee49b74a4289d17f8c91cf773b7","datavalue":{"value":{"entity-type":"item","numeric-id":3145341,"id":"Q3145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67b6a18489c8887c5af809dacbb0fe0556f6778","datavalue":{"value":{"amount":"+0.7407989501953125","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":"Q514508$97CCF2BB-505A-43AE-ACA0-D009D7F5E93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing natural extensions of propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_natural_extensions_of_propositional_logics"}}}}}