{"entities":{"Q4443401":{"pageid":6473000,"ns":120,"title":"Item:Q4443401","lastrevid":48218323,"modified":"2026-01-04T00:10:43Z","type":"item","id":"Q4443401","labels":{"en":{"language":"en","value":"A temporal negative normal form which preserves implicants and implicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024822"}},"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":"Q4443401$3D02C97A-4370-47E6-B42C-FC2BA3F18A6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b38b3f1e6155d4ffc6fd52394965c8dd0e1439d","datavalue":{"value":{"text":"A temporal negative normal form which preserves implicants and implicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443401$1B51DA9A-54D2-4532-8B58-195DA09A692A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a847b78dafcbc14a2f2fb1f09e6c0ea9f3765f20","datavalue":{"value":"1033.03507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$D786973D-E54A-449A-A032-CA8D06E5C2B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da9e671073ebd824665a86f811dc925bcc550c92","datavalue":{"value":"10.1080/11663081.2000.10510999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$5C8B6246-B5F3-4C5C-87B1-D842F252471E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$1BE9F754-60C2-4EDC-AE1D-4FAC81C86666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff32224c7d2c96e63ff47a0b7d8e4fdcb1aa7b3e","datavalue":{"value":{"entity-type":"item","numeric-id":246589,"id":"Q246589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$36BB3AC1-FA54-494D-814D-21D5F8F68C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$645CCCAD-E65A-4450-AE1E-34FBC368595A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$D44FD7E8-5E5B-49EC-AB2B-59563399AE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443401$F49401B6-264B-4AE5-A4ED-E7EAB631C09E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$39B23C36-1ECD-4687-BF6B-C345E5243A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$005E534F-A4A0-4EA4-B6A6-20DF805725FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"580a2a5a1599dd3d1573fba400ca1a3a8c5743c3","datavalue":{"value":"2024822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$1FD2D9EC-AEEF-4DDC-B132-BAF168B084FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443401$54C9318C-4827-4FE6-B2A7-DB079C2EE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857de97225ca30f598bc74be87196057a2c6e897","datavalue":{"value":"temporal negative normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443401$D3B2A503-3966-4639-806B-6B552235B49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80476b6b9e529be9f9df65f045c58bf0e4b2bf6","datavalue":{"value":"future fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443401$B8C32DDE-D5A7-44C8-B5C9-C64B67FE0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443401$2E8F6F11-12EE-400F-A59D-FC66D5EE57F5","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":"Q4443401$EA7E616D-A13A-489F-BFF7-E74E63C9EB3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5269b80efb640aec589e37f671c00b515f9a783","datavalue":{"value":"https://doi.org/10.1080/11663081.2000.10510999","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443401$333C1874-D4EE-4CE6-BC51-A8DA55D2529F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45090e6ff05f4a122d17790ab2622c62e124b4c2","datavalue":{"value":"W2044668636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443401$A367FACE-41FC-4B61-864F-C75DB0BA2415","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daff44ab6b051f1b9c5e4c236c6025ad68e6aca8","datavalue":{"value":{"entity-type":"item","numeric-id":4537438,"id":"Q4537438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$D1B58350-19BB-4189-BE98-72AB385F6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f836affe4a6b0b40172776244526a1f02ace4d","datavalue":{"value":{"entity-type":"item","numeric-id":4360107,"id":"Q4360107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$7FDC0762-C369-4369-9DE8-03069DF5219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07bca2ebbf72bae74b1c7aa815f499003c066fa","datavalue":{"value":{"entity-type":"item","numeric-id":1917070,"id":"Q1917070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$04F64E04-0391-4487-B8B1-351C74F273FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f3d578caf23f49ed1712bf2b3639f2274e34f9","datavalue":{"value":{"entity-type":"item","numeric-id":4275691,"id":"Q4275691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$52A26EAD-A46E-47AE-8C4F-32E50064D388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$7A8C0335-DAE5-4BE8-A561-D0C1B50405E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$1CF65F01-F481-4871-A016-79B9B2DDEEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6deb278e1f91c3de81d9974d31adceca1632bc","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$9C0E7C0F-4003-4EF4-B8E7-C72FB6E3ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$6A6A77DC-AEFE-45C1-97AC-9BAA96B2C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$B3E4DE97-D194-49CC-A946-26CDE8661A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$C2E47949-D35F-43CA-862B-45DFEDCAF30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7e4d5f279d7d37838a1002ec5e0a3fd88ed7a7","datavalue":{"value":{"entity-type":"item","numeric-id":679247,"id":"Q679247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$71A8ECB9-D8CD-48B6-97C6-7AA521030F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c850a8136c805b20b792799c7e9935a978938","datavalue":{"value":{"entity-type":"item","numeric-id":1367074,"id":"Q1367074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$56E42530-94B5-4C16-9BDC-892201EDF938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443401$26564536-9228-4D80-A4EC-08A5677BA278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c16ae390c00ea3cba41e216949fafb1a69887e1","datavalue":{"value":{"entity-type":"item","numeric-id":4807685,"id":"Q4807685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130fce934e3bc1c352b6f009346ddd768fccf096","datavalue":{"value":{"amount":"+0.8493680953979492","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":"Q4443401$42DB2D4E-3517-411E-B782-CEDBF412AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8453f4be4fce686cce848d3f4b1d7015948ae","datavalue":{"value":{"entity-type":"item","numeric-id":4930755,"id":"Q4930755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130fce934e3bc1c352b6f009346ddd768fccf096","datavalue":{"value":{"amount":"+0.8493680953979492","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":"Q4443401$D28E33F4-D895-4A30-B72D-F1463850229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfaf6a96c848cb75c349f53204fe621d13878e64","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca5167d1c468cd4ebf7705d2b3233080c9e6b08","datavalue":{"value":{"amount":"+0.7973090410232544","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":"Q4443401$DFB5336D-A003-4238-AB38-5CA154AE2398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8482aacb30e17591e3eea978c6653002cfafb7","datavalue":{"value":{"entity-type":"item","numeric-id":1403323,"id":"Q1403323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3665dde775431a812a867a0c99cdb2cf2446ac15","datavalue":{"value":{"amount":"+0.7967710494995117","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":"Q4443401$DC6F4A60-33B4-44C3-ACE1-FE2760DDF2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a16a1e9a265e91c9f5944c7a8a8bb475e05c36","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61641cbd7ddb30a371378cb7f147c088a8030fbb","datavalue":{"value":{"amount":"+0.7841616868972778","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":"Q4443401$7AEE4215-86C4-4ABA-B6A4-3CB67D2224BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443401"}}}}}