{"entities":{"Q2534278":{"pageid":2545021,"ns":120,"title":"Item:Q2534278","lastrevid":73349676,"modified":"2026-04-14T15:32:32Z","type":"item","id":"Q2534278","labels":{"en":{"language":"en","value":"A substitution free axiom set for second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3286008"}},"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":"Q2534278$185FEEFE-7C06-4EE2-8368-294C0B9CDF54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38e126228842db2611daa48565ef12b765f09e1d","datavalue":{"value":{"text":"A substitution free axiom set for second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534278$64C66672-EFD3-4AC1-A06C-4E4475DE5372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f9f0d812bab94372b72039ebcd5cb1b697bfcd4","datavalue":{"value":"0179.01002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534278$14105609-9685-4D92-9F7F-78213FEFA5A1","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":"Q2534278$21C7FBD4-1FFF-49EF-BB8B-4B2F68BBB389","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q2534278$EC35A1F2-DF32-4757-B995-2EEC1C4F66D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32661eabd2f0df636e884bebd1d34296177c70e2","datavalue":{"value":"3286008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534278$26B7A737-E841-4F87-8284-1F546CEFEC4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534278$E9FFC394-2615-44FA-9DB7-1723AFD37ED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89836e5df96e8f7407950db8e44518b657008052","datavalue":{"value":{"entity-type":"item","numeric-id":244405,"id":"Q244405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534278$667E33C9-BB2E-4AFF-8586-7EC5BBD55AE7","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":"Q2534278$E52E7879-AE6B-43B0-B48B-6031A2ECC351","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4c09ec92991e820be394c7aa453eb9fcce508d4","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893584","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534278$3B4EAA2A-D812-4DC2-BAAE-C0F1C9FE150E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10ca5d5d4858335eb0a0a77d5fb0adb3ce834a63","datavalue":{"value":"W2023760298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534278$DBDEA533-63D0-4C52-9310-26F17766745C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e9f12e91b8a5ea3a6b59268fd2655f2e42316fd","datavalue":{"value":"Q114598221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534278$B5BCB3D2-807F-45DF-903E-A3D3E990C136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8ffe5acbcee3da6a63b10b942cf0858ec73955d","datavalue":{"value":"10.1305/NDJFL/1093893584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534278$4F8EFC24-45BD-4F2A-AD15-7122F6B67E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A substitution free axiom set for second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_substitution_free_axiom_set_for_second_order_logic"}}}}}