{"entities":{"Q1896754":{"pageid":1907496,"ns":120,"title":"Item:Q1896754","lastrevid":69223215,"modified":"2026-04-13T05:34:49Z","type":"item","id":"Q1896754","labels":{"en":{"language":"en","value":"Explicit algebraic models for constructive and classical theories with non-standard elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795265"}},"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":"Q1896754$5C3E2B2A-70DF-4CD8-973E-228266D3AF3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8ce2b489f9f5edd12323152c319f7fc1ea15f97","datavalue":{"value":{"text":"Explicit algebraic models for constructive and classical theories with non-standard elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896754$3505C75F-F8F2-4115-9630-C45BBF2F9B53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64760198e36aba943f04336020a8fa83081ecb7e","datavalue":{"value":"0923.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896754$9F96FBCF-D830-4E62-8AAB-A8452802B3DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41edc959d0a56279eb3789000f53d2343e2617cf","datavalue":{"value":"10.1007/BF01053031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896754$9537EC4B-7388-4491-B422-4267B641A0AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$161EA60C-01FD-4F96-867F-BB411F5FCBF1","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":"Q1896754$E52589A3-10EE-4ED6-B281-813AE6171E16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896754$DB0EDA58-FAF5-4C40-AA1A-2657ECE0F92C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896754$E5CF3E04-6CDB-4CAA-B465-6DC36AD37E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896754$EEFB1687-6361-4823-8EB0-4571217C97AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d096e23e58f831a7c36db0700023d5641705a7c6","datavalue":{"value":"795265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896754$872B34EC-0D1A-4EEF-9746-ECECD145C731","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$60E4C601-FDCC-47B8-828D-75C5B068D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$054C27ED-83CC-433F-8D82-44CB02222C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7285df33f57908c1c643d2d20d9c5fe4caab6662","datavalue":{"value":"theories with nonstandard elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$FF250A50-E60B-449D-8FBA-3D3CEDA846CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$C0259558-1E64-4621-9609-1AA57E1F637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28694c78f0888aeedf186176a9ba7609992e2621","datavalue":{"value":"truth-value algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$559C5DD5-896C-4834-9571-672378492FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517b5326d33d29118dc7ba8e13cd62535aecc389","datavalue":{"value":"finitistic notion of true","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896754$C2EE8002-2F8A-40BC-A7B6-8083B707C580","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":"Q1896754$C63181E5-6A84-4C0D-A957-338EC2C11408","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$218559F7-AB17-4423-82A3-130219BD4BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a436e17684ecfd0f73045bed438fdd8084937","datavalue":{"value":{"entity-type":"item","numeric-id":4293477,"id":"Q4293477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$C5B219F1-64C1-42C0-B8C1-8D2D8186CDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$C496B883-DB68-481F-98B0-6CF073714722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8b681055e76d6a26f65d45cdc8c5755ebf47fc","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$5B85711E-21C7-4033-9537-6C4EA46B3B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1600269660202da6f1411b0b357c46eeb2d096","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$E3EEADF5-FB54-4BA5-AA08-91E3FB70A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a955051f75e321ea702212e79e74946289eb6ad7","datavalue":{"value":{"entity-type":"item","numeric-id":4371039,"id":"Q4371039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$0F8D2901-E5E4-4B91-BA68-111D085012DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb21b9b8a548f08e5e8bd0a90fc91d0c3b450c30","datavalue":{"value":{"entity-type":"item","numeric-id":5641130,"id":"Q5641130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$A256FBF7-2CB6-4385-82C4-2C0218C9932F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f337866c0281e85f909fcbd07d1f5e47dbdc38ad","datavalue":{"value":{"entity-type":"item","numeric-id":1901891,"id":"Q1901891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896754$6DCF0285-162D-4D72-9C44-47D99951CA57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bb6bfc66e315fd0958644aecdae3f8cc93e52e","datavalue":{"value":{"entity-type":"item","numeric-id":4815986,"id":"Q4815986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0420487320b6fd8432a30d9e3c7e625599774754","datavalue":{"value":{"amount":"+0.7582827210426331","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":"Q1896754$ADA4C6E3-3D76-4297-8A3C-5B489088730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68a051a97067cb8a9a0785a81426dab81c239b","datavalue":{"value":{"entity-type":"item","numeric-id":4249357,"id":"Q4249357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f90ff988ee71b2bc2411782c1f56516e1b660d","datavalue":{"value":{"amount":"+0.7562978863716125","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":"Q1896754$93EE0753-C35B-43F7-BF9A-926EB392E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1ada1ca055958e0d4e017572ef2cfe54258f97","datavalue":{"value":{"entity-type":"item","numeric-id":4724634,"id":"Q4724634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2caf5756cf7f048e536a882f4980dee990efdb24","datavalue":{"value":{"amount":"+0.7430008053779602","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":"Q1896754$86EEB31D-1E48-4A9A-9AB2-F65B0541E7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aaf46f97ed707a862c0311a7cf2b186ceeacb6","datavalue":{"value":{"entity-type":"item","numeric-id":3461493,"id":"Q3461493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878f087fabb2525d9bc86205b4dfd0d9a06877c2","datavalue":{"value":{"amount":"+0.7396382093429565","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":"Q1896754$DA16B472-6097-4787-BB8F-2E45C248B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04e63430efaf483a34bc67baaa14b820a6a99ae","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec553c01142025c94849f195295d7dea920c5c8","datavalue":{"value":{"amount":"+0.7338456511497498","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":"Q1896754$43F0D723-114B-4A58-BBBA-59F2E5B5BE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit algebraic models for constructive and classical theories with non-standard elements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_algebraic_models_for_constructive_and_classical_theories_with_non-standard_elements"}}}}}