{"entities":{"Q3532152":{"pageid":5562056,"ns":120,"title":"Item:Q3532152","lastrevid":50484689,"modified":"2026-01-14T04:24:06Z","type":"item","id":"Q3532152","labels":{"en":{"language":"en","value":"A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5360166"}},"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":"Q3532152$6A107D17-A981-4C7D-B262-3EA58DD52C20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5230058ab5f83a08affb5636b94dd5e7f443ab4f","datavalue":{"value":{"text":"A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532152$49CBC1F8-58C0-431D-9C5D-E3ECB31434FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e2318f61f67bbb934c228ce3c5d790d90d233c","datavalue":{"value":"1161.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$D374D340-1EC0-42BC-864B-51FA3C363733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b20f9ccbc84b5eb0ca81a6cecbe7c28b12f273dd","datavalue":{"value":"10.1142/S0129054108005632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$B8956D0C-0C87-4B79-ABD8-C1B62A3C383D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d5823617565d861dc97dbf80cb361a68d21154","datavalue":{"value":{"entity-type":"item","numeric-id":1183570,"id":"Q1183570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$4DFB6EE2-A477-44A5-A626-35848ED78A82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$D9AC4D6D-FEEE-4115-9E40-25440E77EC58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa0c907e757ea6538f0873f5687cd9c9199f6951","datavalue":{"value":{"time":"+2008-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532152$D70F79B4-983D-4D4A-8200-C7D75B58973B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$F8E55EBF-AE4A-43EA-8413-E232FFBD3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$8C9B6E2D-DDC9-488B-9E8A-ED59872B2F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$0E66BDBB-3418-4ADC-9B55-B677B56AA7D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"573c0e72322c4d38299ac11fafd1bd2d49cf53e3","datavalue":{"value":"5360166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532152$7D1AA4A8-B391-46D4-9AC1-9F8490CB0F25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242495f3c0fdfeedf1664925d278fe5e6b658db7","datavalue":{"value":"logical normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532152$812F7A41-55BA-4D1F-B13C-2D4671EB4ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22703c4f1b78af4aee4214075edda2fb06c4bc22","datavalue":{"value":"linear time model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532152$FF270AA9-4554-455D-9AAD-01AC6D1C2BE2","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":"Q3532152$498DA9F1-5336-4E68-BC26-9DCD30A05C19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$9BFED8F3-A5CA-4B11-A709-DF06D51A1D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fffabe1d24f9c9affeb3427513d27f3b9e0fbce","datavalue":{"value":{"entity-type":"item","numeric-id":1327595,"id":"Q1327595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$42CE0C7F-04BA-46A5-9E75-83F75518AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6cab000a8620ee751c1c3c2333e16e8513bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4302285,"id":"Q4302285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$BA497C58-EDDB-4883-B351-EDE9A69320E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8031ac70cd90b2e6854794d590c2ea07ab1b061","datavalue":{"value":{"entity-type":"item","numeric-id":4785637,"id":"Q4785637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$928EE088-421B-42B0-B912-BF5940DBBDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$1D169543-0166-44F8-A5C1-B6B146D282D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8438aafa863868cc71142d6a88138f4d4c14e0","datavalue":{"value":{"entity-type":"item","numeric-id":3929722,"id":"Q3929722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532152$7DC92A6C-8E81-4014-B079-E78BC06D43C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6a21ce1d037b5143db9910a802a4be237ed0a2","datavalue":{"value":{"amount":"+0.7016862034797668","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":"Q3532152$9EA2A8B2-D97D-4014-B769-0FD8554F0205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38a0da280fba7bc1e471afe51b4d11269c9e2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3514640,"id":"Q3514640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece2f4bc2c838cc78596b0394656c453c3496ded","datavalue":{"value":{"amount":"+0.6872566938400269","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":"Q3532152$158FF928-9E90-42B1-8932-6A7560073F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c86cde344c7e56cfed26c2a1a0ceecdebe841","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cd405cb7c6a3b867ae0cd2cf81ee8b7ccb16f9","datavalue":{"value":{"amount":"+0.6779084205627441","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":"Q3532152$96AA8371-7138-48D2-B22A-72936AF19649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa83bbe0239d0521389f5c9e06a07985d4b39e4","datavalue":{"value":{"entity-type":"item","numeric-id":4381395,"id":"Q4381395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1043122cb9be07dfd51396550cf7e3e4c9779fca","datavalue":{"value":{"amount":"+0.6751652956008911","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":"Q3532152$56A38A65-3A9A-4760-845F-6F7140B0B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f16a85b75273d9d10462392c5800ac518c4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5096240,"id":"Q5096240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d212a246138253f4ce79f87cc2af819f15c6dbb0","datavalue":{"value":{"amount":"+0.6751652359962463","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":"Q3532152$21F2A130-E547-4C35-AB16-42FECEC765FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3532152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3532152"}}}}}