{"entities":{"Q2557247":{"pageid":2567990,"ns":120,"title":"Item:Q2557247","lastrevid":73225755,"modified":"2026-04-14T15:03:32Z","type":"item","id":"Q2557247","labels":{"en":{"language":"en","value":"Quantifier-free and one-quantifier systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3397514"}},"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":"Q2557247$4543C394-79B7-4DF9-925A-7CAACE323CA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2b3aa9a0421752ab3788767d96a675cd3b9ea6","datavalue":{"value":{"text":"Quantifier-free and one-quantifier systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2557247$EA4EE211-A6D3-4BFB-B90E-739994803C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1a1afb87be412c7d9df4ec5b17fd21ee52f21a","datavalue":{"value":"0252.02027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$60A5809F-83C8-478E-B0FC-A03ED5569B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"752985860c7375159ac0a6ba2e2593c2c17ace61","datavalue":{"value":"10.1007/BF01117472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$BC1DDA04-B479-4932-8439-B1EAE334C4EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557247$BDB630FB-22C7-4879-954C-2F494DEAA42A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q2557247$5A547D61-EB53-43CD-805E-2EFAA94E8737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$1AD64288-3063-463F-8DBB-4FDA00051C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$FE5503EC-4E3A-4F5B-A874-6A0215EE991E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b95aba8b0e0edc67eea01809680c9bc2152d9e23","datavalue":{"value":"3397514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$B4C8B41B-A6BD-4A40-90E7-5DEF647ED55A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557247$E42A4A9A-791A-415C-9AB8-2D358CAA307C","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":"Q2557247$D44E401C-C2B7-4942-A091-F135426BBB00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557247$38B1A7CE-91C2-4A5D-81EE-14708BEB1D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557247$B151CB3B-AD53-4AF5-8A9A-008897B73545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557247$5F3D2B35-6170-4963-A1FD-18DD7C3A0153","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43c37f0e13f4c3ff12fc4fbec8a4ab2701011489","datavalue":{"value":"https://doi.org/10.1007/bf01117472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2557247$72D6B8B6-2BC9-4A67-A9EB-5A4FB81A63E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877b2a5f4345ea724096ed2954317878d4360647","datavalue":{"value":"W2014082347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557247$B30E96B5-4D12-4935-AC21-8623261B1C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free and one-quantifier systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier-free_and_one-quantifier_systems"}}}}}