{"entities":{"Q3826527":{"pageid":5856433,"ns":120,"title":"Item:Q3826527","lastrevid":54420098,"modified":"2026-01-26T19:13:22Z","type":"item","id":"Q3826527","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101150"}},"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":"Q3826527$9EE0C9A5-6B5E-4617-B490-F93DC909D497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31a6242add9a7cc19c48b16640aa0e362e983000","datavalue":{"value":"0673.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$3CFD24ED-75C1-4157-A855-34C944EFCA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3826527$E0AC3152-252C-44C9-A101-07EDE5507B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$97947774-79AC-4F6B-B515-81EC6C5E3B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$03C86617-722D-49C1-88FE-9478D009C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$55A326FF-1200-4F89-A31F-F574A34CB214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$EABE32BE-7D6D-4819-894E-024E936239A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b9e82c25a07aacc8db57367b9781c7c7962a383","datavalue":{"value":"4101150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826527$3A5E4FEF-C303-4A09-9FFC-EDE1AAEF5BA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826527$BAF6E979-349C-465B-94A0-5469ECB1D6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826527$20664964-6778-4BEE-996E-5ACA57BD2D04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826527$480DADB3-D501-4F26-8608-2F1925067398","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":"Q3826527$CC2268A2-9485-492B-ADB6-1AB7C25893A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3826527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3826527"}}}}}