{"entities":{"Q1924331":{"pageid":1935073,"ns":120,"title":"Item:Q1924331","lastrevid":47416930,"modified":"2026-01-01T16:44:56Z","type":"item","id":"Q1924331","labels":{"en":{"language":"en","value":"Decidability of fluted logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935228"}},"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":"Q1924331$3B2A7330-AE01-4109-938F-B2B82A628D94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb6d7eae1313ed2046124a4e2e208f1d0b9c37b","datavalue":{"value":{"text":"Decidability of fluted logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924331$BA6FC24F-3059-4D55-871D-75050333C086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af211b67b1144d6669b7a596b6e6833e8f498f70","datavalue":{"value":"0858.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$BE9D011A-9468-4138-A6CC-462D11BF18F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4ede1df904a46e87b1de029c9fcf60753462f3f","datavalue":{"value":{"entity-type":"item","numeric-id":689222,"id":"Q689222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$A6AFEF68-24E5-45FB-B961-AE1E1DEDD84C","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":"Q1924331$6F45AA88-F576-4F79-9EA3-22FBD0200AEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d27e2971fbc9cfb986491ff590c4e095f1799e7","datavalue":{"value":{"time":"+1997-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924331$E2A35C13-C2BC-4CCB-B2AD-B9A14BF5FE67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8a3196313829323c169f5693017247258e798d5","datavalue":{"value":"In ``Fluted formulas and the limits of decidability'' [J. Symb. Log. 61, No. 2, 608-620 (1996; see the review above)], the author showed the decidability of the satisfiability problem for fluted formulas. In this paper he extends this decidability result to include identity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$6EDFA59F-B600-42F4-BF9C-02149A77C729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$7F383B1E-0596-41DE-9A6D-1C4014DB0C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$4C7712ED-9036-4804-B659-827106AC70C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96215707388e6502fc307e2b3b9fb43141749dbe","datavalue":{"value":"935228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$C692352A-1C9D-453E-AA7D-01657210DF10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c129bcbf6c250f684aa67e1898e041ee7b0c1f8","datavalue":{"value":"constituents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$AA5ACF0C-1899-4AB6-A34C-1DEDB9E68861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2d5a75db45f46ef5d20e696d693588922a404c","datavalue":{"value":"fluted formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$9C61C0E4-20CC-4ED5-B69D-647DE752F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$47B5A0F3-CBF7-49AC-8331-2B12F239CF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$7ADD6D8A-3912-4DEE-803F-19E04E78CE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924331$BAC695E4-678F-4172-AF42-48562A7C7150","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$78A966FE-54B2-483F-99F0-0DD5A718A6C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$9752521B-1446-4B4F-AC84-9B46CA7D31D6","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":"Q1924331$7D6D4066-6854-411A-B0DE-A4058C4DF6BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"661807ddb11bcb57f4ec64667724faf3052ef3c5","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067318","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924331$4A198438-AD02-4CF3-9ED4-1F7E3E1ADA1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f58b3ee76dfe696a600d294f9bbc43ff0c6678d2","datavalue":{"value":"W1976645152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$DEBA4611-EE10-4F5D-B0FF-DAB53AEFED6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$C6B0E15C-C2A2-43C8-B7C4-C5966D3C2347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$1F14384E-EE6F-4E12-89A8-E530C5FFAE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802e1ba04d16cd4b25cf63fe14f364ca4c9197e2","datavalue":{"value":{"entity-type":"item","numeric-id":5682304,"id":"Q5682304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$0FB33E91-3041-4E95-A003-4827576A029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$73BBDC77-E943-49E1-A50D-34642694B20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a186a9c321a0804ef888e42e702eb98d42d8b0","datavalue":{"value":{"entity-type":"item","numeric-id":754174,"id":"Q754174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$58541BB2-D518-4D25-A500-4214417927B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219a71815a80dbf46b234bd99029e8a02dc7f1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4894729,"id":"Q4894729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$4874DF1A-EEAB-49D1-ACD3-BDB590FDFE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72eaf9aa37276e50e4f6891de2ce27aaef2116ef","datavalue":{"value":{"entity-type":"item","numeric-id":5582789,"id":"Q5582789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$5C1FCC98-7231-40EE-9225-C35AE28DD361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a57389c259e30c5281949260d1303e9c77930","datavalue":{"value":{"entity-type":"item","numeric-id":3926546,"id":"Q3926546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$1EF32903-1BA4-469A-B2E3-0BE403906A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba87f647d350da9410e3009029b609261e32924","datavalue":{"value":{"entity-type":"item","numeric-id":5797033,"id":"Q5797033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924331$A1E42DF3-6CE9-4BD4-9267-EF06C6EABB3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eca7fab8fa61bbc58894772b2521a62ec37776f0","datavalue":{"value":"10.1305/NDJFL/1040067318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924331$DD015261-01F5-4338-B47E-3F1F4B356649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b39dc693c9b09ddd94c7fd82085610384adafd3","datavalue":{"value":{"entity-type":"item","numeric-id":4894729,"id":"Q4894729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c39329e380695bcbcda073cc996729df292901","datavalue":{"value":{"amount":"+0.8219216465950012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924331$DC9002A7-25AE-4C72-B9D1-33D9711769F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4132b8301b2af957976386ad40d008a25419c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1612689,"id":"Q1612689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cdb83f72dfbe9817b6296d2be9045178dacecd","datavalue":{"value":{"amount":"+0.7805700898170471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924331$44FE4D91-F98A-43CA-B7AF-A9FB8A954B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48031600c1658656acee0fd80def44ed80625cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75705411d856b5305cbc5886d454cfc4cffab7a9","datavalue":{"value":{"amount":"+0.7768954634666443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924331$ACFEFCD5-770B-4CD8-929E-D1215B7FC00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4d01f4887803a81c5428c77007b1c968d7e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2723441,"id":"Q2723441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fdcbfcad0083ccb95d9b2716b2b2b2f3e5414b","datavalue":{"value":{"amount":"+0.7710393667221069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924331$42EF0F7F-DC92-48EB-ACD7-72D99C4D999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aca514ec79d9a1a4f07a9d0f71b2b11c52cf79b","datavalue":{"value":{"entity-type":"item","numeric-id":4948519,"id":"Q4948519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9686da3bff5befd543c5090607c77cab987d138b","datavalue":{"value":{"amount":"+0.7638359069824219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1924331$0E7655DD-E224-4E89-BEF1-7CA718B1D55F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924331"}}}}}