{"entities":{"Q3956908":{"pageid":5986813,"ns":120,"title":"Item:Q3956908","lastrevid":55092784,"modified":"2026-02-03T14:57:06Z","type":"item","id":"Q3956908","labels":{"en":{"language":"en","value":"Prefix classes of krom formulae with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3777450"}},"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":"Q3956908$0370E327-FDE0-45EF-9FEC-7E8E40A1542F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0547e709022fe2bb17ba96707064a6666b85084c","datavalue":{"value":{"text":"Prefix classes of krom formulae with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3956908$1C8BD8FB-5484-448A-95DD-A95218213B83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"718546fc37cbbe8501accb0e2e35578a6ce2578f","datavalue":{"value":"0494.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956908$343B4659-56B3-4335-9CFE-31D675E1A6D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dbbfd7281652962159cda220375e3b46aa602f3","datavalue":{"value":"10.1007/BF02318025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956908$2CF95AFF-2083-4835-BD2F-8E5AEE677120","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d957ceeb611a81604ef562acf1a938a6ae444b8","datavalue":{"value":{"entity-type":"item","numeric-id":3177722,"id":"Q3177722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$96B2E354-6509-4244-9F33-52F4D810CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$4008F638-83E9-405D-A7BC-C5BAF10A1FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$987C7607-85E3-4CB1-9C19-126C9DD8EBC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6404a67ee80bf8c30e440d1605bae281c5dcca83","datavalue":{"value":{"entity-type":"item","numeric-id":3956907,"id":"Q3956907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$750FAEF7-D3ED-4259-B720-AEDD9B101093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3956908$8BEE3654-E7A4-4788-91C4-3D8183BD5122","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f39ef9096752ee95d01a4d13f1224ca4172b9358","datavalue":{"value":"https://eudml.org/doc/137990","type":"string"},"datatype":"url"},"type":"statement","id":"Q3956908$85335425-27B7-4A84-AAA6-64AED70D535A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956908$13441F07-ACED-4A01-A2C0-1CA191059072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf59d909943ed10e0b7ff6e416037114e78eedc","datavalue":{"value":"3777450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956908$8E4B6E38-B322-4133-9704-96481991236F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7893644405dea50a63789270a4b96facac986f05","datavalue":{"value":"Krom sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956908$CF03087E-9169-4586-B9C2-1AB3B35C0F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666be023d0e258a7b89a210667b69d37409d272b","datavalue":{"value":"conservative reduction class for satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956908$AAD5456A-D272-41E7-B7B3-A9F2CBB3FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf4bb08843832182e7bbb29c82343a87a108b51","datavalue":{"value":"decidable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956908$856D3B96-58E0-4D95-B95F-0D89D48E47F7","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":"Q3956908$2140DBBE-DA5F-4D41-A772-CF811BD478F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4202f09d7cd72f0d6bd2fae7066a0a1771e5069","datavalue":{"value":{"entity-type":"item","numeric-id":5639707,"id":"Q5639707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$4304B802-5D6B-471F-9BFB-52007FBC094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd263c609fab8bc901736d47fce033ac3e5df6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4090321,"id":"Q4090321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$D02784C1-960C-4FDF-A372-D7BDC1EC61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800c3856d6e64f782c8c2e841467e8aa9fdfff70","datavalue":{"value":{"entity-type":"item","numeric-id":4401927,"id":"Q4401927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$D9DC1A2C-A24A-4F49-9DBD-3E4FBE9F3565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b27930bb064487541eec40942d89963e8706b4","datavalue":{"value":{"entity-type":"item","numeric-id":4052107,"id":"Q4052107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$45DFA9A1-014B-4C1D-A2C8-CB33E939263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fab33777dce654ec72e44fec3119c509ea0bece","datavalue":{"value":{"entity-type":"item","numeric-id":4106190,"id":"Q4106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$BCB3D2CF-FC6B-4DF4-9A03-A6154B14EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750809b03422ffef74c625f971d983d6542d98f","datavalue":{"value":{"entity-type":"item","numeric-id":4120563,"id":"Q4120563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$FEF684CC-5440-4539-9FED-2D3F817BA2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$4ABE3E52-77D4-4661-A344-A6D5610F9C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b48416909afdf0b9f2f505d37caa30fd06a2273","datavalue":{"value":{"entity-type":"item","numeric-id":1242887,"id":"Q1242887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$198ABBA0-3D0C-4FD1-AAFE-DCCBFBB2B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956908$DA24E84C-2505-4A79-A422-B7F45515B914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3956908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3956908"}}}}}