{"entities":{"Q1374212":{"pageid":1384952,"ns":120,"title":"Item:Q1374212","lastrevid":67273056,"modified":"2026-04-12T16:31:25Z","type":"item","id":"Q1374212","labels":{"en":{"language":"en","value":"A basic system of congruential-to-monotone bimodal logic and two of its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1093122"}},"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":"Q1374212$CC5A88BE-FDEA-463B-BBDC-3FEE5E6FE054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f4a2046231302499ef9d909e39164ec0370cb0","datavalue":{"value":{"text":"A basic system of congruential-to-monotone bimodal logic and two of its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1374212$29464D37-2410-4168-97DB-E9BD1E972025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d119cee6cb8101255e1f53ed772104aabd36617b","datavalue":{"value":"0883.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$E0F63228-0A84-4886-B1DF-303C36DC2DBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc259a89ecb75465fbb96327997d8a01dc78b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1097871,"id":"Q1097871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$78B733A4-1DAF-47C6-A4BC-F5BDFF201948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$B1433C19-5597-4BF1-86E3-9A958C95DD4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a38330dd6064e0c591139b5cb378c59d586475c","datavalue":{"value":{"time":"+1997-12-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":"Q1374212$933C44D6-C5CE-47B8-9755-9C0774B66605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$BE3B4D5D-78EE-4CFB-9189-700AEAB073CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$A370CF8D-2854-4658-8B6E-497398CED0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48dedaa2cc55e93f83921d411adc451282bba11b","datavalue":{"value":"1093122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$3BA7B119-964D-45BF-9370-454A4497B5DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374212$698C9D61-A01F-436F-AAA4-543E426958AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d435fe5b9b3b6bd8b131d418d64df1dd7c7f80","datavalue":{"value":"epistemically necessary","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374212$27280776-19F6-4761-87D7-B84C7EC3C4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc4bd660a0d6b85341fdc6cc2a69d9050f737eb","datavalue":{"value":"epistemically possible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374212$17A37147-A770-42B2-943D-5407ADD667EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da62b055ae2868080841af6d787b20206ef1f8cd","datavalue":{"value":"failure of closure of knowledge under logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374212$C8F90AAE-1D08-4BDF-8216-4365F8407540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374212$021E2958-5090-4C69-904B-A7D06FEC9CA6","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":"Q1374212$5CB69145-2F74-40D0-BAC5-133F1C5104B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58d2d00018b8d2a60785b46942a44a1fc1260646","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040046144","type":"string"},"datatype":"url"},"type":"statement","id":"Q1374212$ADC39445-1797-41EF-B157-4359B1D5EB1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887177ce69a0b3e0aaabcdf2b73af7704f17ac66","datavalue":{"value":"W2157082917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$8ABE8C0D-D10B-4BD7-ACEF-C79E42AC6048","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$BB274ECA-1306-4B24-A543-131A34C6CDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5aba92e3a8cdac445bb7ef008d6ca95feb50fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4097254,"id":"Q4097254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$C9686735-735F-489B-936B-14C98913ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe5b32ebe1b29b2edc3575e3da562e9dea8cd2f","datavalue":{"value":{"entity-type":"item","numeric-id":3376919,"id":"Q3376919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$82A1E6C0-AF39-4A71-9E40-4EF65922349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e5deaf7277eddb6b7adb1ca55d5134bc8ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":1213437,"id":"Q1213437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$A4F11E60-EC61-4C6A-B501-22BA2C8C89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$2595868F-459F-46D2-B0B1-AD6C5A6C5F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf8c2d8bc83dd856fb80629b20fc860136563e","datavalue":{"value":{"entity-type":"item","numeric-id":3952081,"id":"Q3952081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374212$54B986AF-883C-41DF-9ABA-F0C59A92BC19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b45bd1d4690c9d22d7b85fe376c7594075ddf5","datavalue":{"value":"10.1305/NDJFL/1040046144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374212$5ECCC3DC-1207-4FD4-B5EF-EB7EB2493C2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529f57cf2486fa6f1ad29000aea3cd531e563807","datavalue":{"value":{"entity-type":"item","numeric-id":3989937,"id":"Q3989937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146721bd6d1c8513a906be3268096e31ace842f7","datavalue":{"value":{"amount":"+0.7545745968818665","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":"Q1374212$BEC48FD3-B56B-4FE6-8A36-7B102A33C62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd4bdb07296ff3a4f5122abe7f67ea8120bb8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5963201,"id":"Q5963201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d011609345bf401d480173654505c711208ea8","datavalue":{"value":{"amount":"+0.7536657452583313","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":"Q1374212$4349E0DD-5F6C-4008-9C9E-6A3B756AC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419345cb081cc7e4fce83137f492046b5af32379","datavalue":{"value":{"amount":"+0.7461923956871033","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":"Q1374212$E3F89339-B870-4445-9F01-68C88CA1D3E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A basic system of congruential-to-monotone bimodal logic and two of its extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_basic_system_of_congruential-to-monotone_bimodal_logic_and_two_of_its_extensions"}}}}}