{"entities":{"Q3867986":{"pageid":5897891,"ns":120,"title":"Item:Q3867986","lastrevid":54562568,"modified":"2026-01-28T15:20:16Z","type":"item","id":"Q3867986","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3670700"}},"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":"Q3867986$46DAD47E-52C7-47A8-AE35-41AEA2CD07BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"139302fee6333880d44497ad4bc073ed612f259b","datavalue":{"value":"0431.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$82990880-5E2D-404D-B3F6-AF6243E19ECD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d241458c967e707c41456a6ad447ddc4115310","datavalue":{"value":{"entity-type":"item","numeric-id":701373,"id":"Q701373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867986$B1DF4812-6B07-48F8-A9AB-8AD087A6A091","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3867986$6C057D65-8F7E-4D4C-A189-5CF8D0F877BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8929949e689778de7cf7e101a9eefd29712884b5","datavalue":{"value":"https://eudml.org/doc/61977","type":"string"},"datatype":"url"},"type":"statement","id":"Q3867986$1262218D-07B1-4CD5-907F-2C35EECCDAA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$1D881AA1-26C3-4ABA-A2CD-B81849A149E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$DD6D145C-0DE9-4AEA-BCC4-27E602E4E514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$3EBD25F9-F885-433F-B993-D6B6C027FAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$15FE3265-4730-49D2-87BC-04CFF282B45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05210845d0eab2c46706738300458a13f8489bb6","datavalue":{"value":"3670700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867986$D1ED61EA-9531-48BB-A809-B9E025250504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83ca658e07984a95b4ec7cd92ae9dae787927a2","datavalue":{"value":"first order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867986$6788DBEF-77F1-4876-BF0A-8F397BBB4379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acebc89b00e01519ca8f91d0e9862c8600e32861","datavalue":{"value":"prenex form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867986$59B137E4-C572-43CC-8E57-57877D7CAE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b58607a23002f1ed7236d38d508c9214da49f7f","datavalue":{"value":"positive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867986$485BB071-0A1F-472F-AB68-D908CCEE2BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1446b95097764d434866bbebf226fd9867135f","datavalue":{"value":"closed positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867986$57DD8812-D050-4A66-8494-5FCA800FD388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879c7b258bdd819eb98a7b129d88e893929cd255","datavalue":{"value":"free inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867986$94D27B97-D084-4F84-B142-E7A0657A6983","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":"Q3867986$938FA48C-088B-447A-8179-67F0413A5DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3867986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3867986"}}}}}