{"entities":{"Q3204447":{"pageid":3215155,"ns":120,"title":"Item:Q3204447","lastrevid":45674422,"modified":"2025-12-15T22:05:35Z","type":"item","id":"Q3204447","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181312"}},"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":"Q3204447$B40D3774-EB46-47C8-9950-12A4D35A7063","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d180e7159eaef4ab2e748fbbdced885f477d79b7","datavalue":{"value":"0717.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204447$CCEA92B6-1C1C-4BC6-90C4-351463241A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4664b5ecec798e2997ed6eee3b8d15d17587a25","datavalue":{"value":{"entity-type":"item","numeric-id":1882214,"id":"Q1882214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204447$3FB06534-C26B-4102-AE46-3B63B590484C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3204447$C2233BA4-FF88-4E06-A39B-604D6AB149B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204447$1363FD36-9F52-40A3-AAC9-A51F5A0428A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204447$3D977995-5E82-41D4-9BD3-DEDD86A19B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc935bfbbe353e7e99252f64ad745d22d68f3d1","datavalue":{"value":"4181312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204447$91F2FE49-EEFB-4641-AACC-B280A987CD1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21dd0ce54d42e55e61518077a9d9dc4a57b450c","datavalue":{"value":"asymptotic 0-1 law","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204447$E29DEBC5-2B7A-44DA-8BDF-B70AE312942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e386a7a99df9801eedb58c4d34fd8092fa0d03d","datavalue":{"value":"asymptotic satisfiability of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204447$B7740E9D-5F41-4A0B-8B40-DCDEFEEB42BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ecffce69e012e992539c6ecbfc71770f0c43c05","datavalue":{"value":"many-sorted first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204447$48856823-9DE2-441A-8E54-4D5FBE2BD4A1","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":"Q3204447$3FA0AB81-B181-4A5C-9D34-2D3241FA3EC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204447"}}}}}