{"entities":{"Q2849491":{"pageid":2860211,"ns":120,"title":"Item:Q2849491","lastrevid":83513483,"modified":"2026-05-07T08:35:36Z","type":"item","id":"Q2849491","labels":{"en":{"language":"en","value":"Non-cyclic sorts for first-order satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210142"}},"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":"Q2849491$67477A66-6893-4ADC-B278-406F87611907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da95d4939109e666af4486d03644b9ae236857bd","datavalue":{"value":{"text":"Non-cyclic Sorts for First-Order Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849491$E7DF7F05-EB1E-40E6-9E10-5B7825B561B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6509117c4bc5c852bd15f0eaf1192a1e55159699","datavalue":{"value":"1398.68484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$E80C974D-A014-4DF2-B9ED-1427460B2FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91c5d2d3de0864399676fe46c9749bea2e4cd029","datavalue":{"value":"10.1007/978-3-642-40885-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$C4B92525-82BA-484A-91EC-2E454DB40204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849491$13B9D36A-B30D-4167-97F5-495903593870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849491$6C22BBE7-CE35-45B0-ABF0-2F814392FE94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849491$91021D5B-7545-4631-9443-BC0AFBAD194B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$68E8D93E-3B31-44E1-B460-AF06FF44070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$DEDFC0C1-5FE7-4A88-9229-70CFA04EFD66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb3d7bb1eb92f9ec2a80dce1e50e7a80aa7fbd5c","datavalue":{"value":"6210142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$F29FED58-9D47-4C10-9353-1FF3EBFF44EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849491$8DAAA6A5-C7CC-4B30-8DC3-AC63713D235D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849491$CDD39CD1-F0F9-421E-9A44-969AA399D983","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":"Q2849491$5BED6347-37D0-40BA-8AE8-E39877030ABB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68d3446ebf6147463977962ee9028147f5baabb6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849491$B820EFE3-5319-4CB8-9C8A-5EE267AFBE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a10d299e883296404b5d4acf3931dfad84a1a62","datavalue":{"value":"W2127882277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849491$D205C3F0-1B04-469B-8597-CD7C8CF17634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50adb43b240b8c90ab64a1f99129e8ef6321b63","datavalue":{"value":{"entity-type":"item","numeric-id":2818025,"id":"Q2818025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743baabd2d171c91dcde769a9e9c3950d9c65c54","datavalue":{"value":{"amount":"+0.730441689491272","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":"Q2849491$5085CFD6-2FBF-4628-92E5-F8C0D17D4072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be885fdf3e2ebd71cc3ad816a0c8ca4903691ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae060b2c9464fccb6997be6ab1c28c5a4eaaa3fb","datavalue":{"value":{"amount":"+0.7246003746986389","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":"Q2849491$243BA444-F0BB-4D4C-B5C5-FE3A3953569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645abf4b915901b51cbbe9587d2f5d49f4f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21022f18aee3ff004066819c51ff09706251469c","datavalue":{"value":{"amount":"+0.7034107446670532","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":"Q2849491$A172F398-01B2-4ED4-8A4C-AF0F03EE5087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cda9909ba13ed65d5cd2826d13219e7c43d9bb","datavalue":{"value":{"amount":"+0.6981566548347473","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":"Q2849491$1227588F-7023-4426-81C8-70DD26B2F001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2652b221b34a01087feacee63f2dacd542c125","datavalue":{"value":{"entity-type":"item","numeric-id":2848051,"id":"Q2848051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb361d5d78a22baa30f9a0255089cd52ceea7932","datavalue":{"value":{"amount":"+0.6981564164161682","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":"Q2849491$C4A5DC3F-375F-442A-AC65-2461ADCC8952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-cyclic sorts for first-order satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-cyclic_sorts_for_first-order_satisfiability"}}}}}