{"entities":{"Q4268319":{"pageid":6297920,"ns":120,"title":"Item:Q4268319","lastrevid":46790244,"modified":"2025-12-25T14:39:49Z","type":"item","id":"Q4268319","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1354010"}},"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":"Q4268319$AB837C9A-DF28-4898-99CD-E916E6AC1522","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d85ef78feca98f63a03acd64ffb79f85caaf4f52","datavalue":{"value":"0924.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268319$9E5D0150-C088-48DA-AE19-395A5D16E45B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d280db985e5d0e5d9eb13ead359af31c42083111","datavalue":{"value":{"entity-type":"item","numeric-id":1288273,"id":"Q1288273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4268319$7580CEE2-A64C-4910-A72A-5F2CCAF6B044","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":"Q4268319$56BEDFCD-34C8-4853-9AB2-6F31C8DD7834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05bf41892223b7f5889a85ab8e15464e38b1fc65","datavalue":{"value":"https://eudml.org/doc/187879","type":"string"},"datatype":"url"},"type":"statement","id":"Q4268319$B29D163F-BDAD-46AA-94CB-613C0672CB35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268319$EC543114-E4A2-4E8F-A5F5-C48D9D98AD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268319$4253B9FC-7821-42CD-AFE2-8EB3ACBBA84E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6510ee0c019529d11c0a273f43929d5b3270dd29","datavalue":{"value":"1354010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4268319$E06CA84B-5B7F-47A3-902F-CF91B956CFB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ca905b8ac84102133d9e6f994b085cf64644f8","datavalue":{"value":"superintuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$DC428C51-1D64-4778-92A1-7D30C139360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89abdf3e9daebec4b891b0d5720d2cf30516558e","datavalue":{"value":"superintuitionistic deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$7F53492D-2B25-427B-A35C-B3BDB145150B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bcf0af899b79e365b4089353178a26b67a39f1","datavalue":{"value":"quasi-cylindrical algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$C18382C3-5E7D-4661-B5CB-B0D7E10596CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d3880991ea27921e7c9d530a822065e364b1b0","datavalue":{"value":"substitution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$61CDB093-DE72-478B-8E90-2D5F1ED86C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$4066BA9A-D28D-4660-96AC-E868F1C76D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"129ee5d98e042d31c56c5b41a0d4b4b5db0491f7","datavalue":{"value":"universal algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$4736EE63-A961-44F6-9120-4D5DB04180E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a50ffa2df8f58dc0e19f5247e3e58137dec3e6","datavalue":{"value":"algebraization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4268319$7E31F07D-C8E5-4B10-A930-0001C177E863","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":"Q4268319$6B802020-B0CF-4232-BB77-440BCEDB6984","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb987aaca5fe66272cee230db85f814c6a875281","datavalue":{"value":{"entity-type":"item","numeric-id":5214741,"id":"Q5214741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15472d7c3b3612499b45f02708c662a395663bbb","datavalue":{"value":{"amount":"+0.8569133877754211","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":"Q4268319$F0611CD1-4956-4AEE-804D-FC543D3F2677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5974e64ba7dfa848fe141f6662587967bc85e098","datavalue":{"value":{"entity-type":"item","numeric-id":2773676,"id":"Q2773676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85231ffd9ac883164bdb4b48ad05ef0a4104b70","datavalue":{"value":{"amount":"+0.8496226668357849","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":"Q4268319$29A55CBD-100D-41B2-AC4B-2F62C71F51A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fc3e1b4124b89d7e724aca044415a15625567d","datavalue":{"value":{"entity-type":"item","numeric-id":4722042,"id":"Q4722042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0942cfffca7e60c8d661b41c76e1b81abab50894","datavalue":{"value":{"amount":"+0.7778928875923157","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":"Q4268319$5E3C3DFD-C7B8-47F6-8308-C42D3C92D469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51006f64124449e649ce40acb20e911a58036","datavalue":{"value":{"entity-type":"item","numeric-id":3329444,"id":"Q3329444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d715a9c19676cf765298efd24107ece413a0ab9e","datavalue":{"value":{"amount":"+0.7645502686500549","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":"Q4268319$AA554EA5-A52C-463D-AFB6-F7D04F804094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4268319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4268319"}}}}}